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