diff options
| author |  Ziv Scully <ziv@mit.edu> | 2014-09-15 20:01:16 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2014-09-15 20:01:16 -0400 |
| commit | 8cf3a275f25ffcbb97d623c4e988fdcc81ef5978 (patch) | |
| tree | c84bdd4248139f2488a69d629d49ea24842cd7c1 /src/sql.sig | |
| parent | a7bfe57a2a355c5362d33e993394aa0bac300360 (diff) | |
Small cleanup.
Diffstat (limited to 'src/sql.sig')
| -rw-r--r-- | src/sql.sig | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/sql.sig b/src/sql.sig index 573a8baf..2623f5e7 100644 --- a/src/sql.sig +++ b/src/sql.sig @@ -39,11 +39,7 @@ datatype prop = | 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 |