Mercurial > urweb
diff src/sql.sig @ 2212:388ba4dc7c96
Small cleanup.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Mon, 15 Sep 2014 20:01:16 -0400 |
parents | 01c8aceac480 |
children | 365727ff68f4 |
line wrap: on
line diff
--- a/src/sql.sig Sat Sep 13 19:16:07 2014 -0400 +++ b/src/sql.sig Mon Sep 15 20:01:16 2014 -0400 @@ -39,11 +39,7 @@ | Reln of reln * exp list | Cond of exp * prop -datatype chunk = - String of string - | Exp of Mono.exp - -type 'a parser = chunk list -> ('a * chunk list) option +type 'a parser val parse : 'a parser -> Mono.exp -> 'a option