comparison src/cjr.sml @ 704:70cbdcf5989b

UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 655bcc9b77e0
children d8217b4cb617
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
102 | DDatatypeForward of datatype_kind * string * int 102 | DDatatypeForward of datatype_kind * string * int
103 | DVal of string * int * typ * exp 103 | DVal of string * int * typ * exp
104 | DFun of string * int * (string * typ) list * typ * exp 104 | DFun of string * int * (string * typ) list * typ * exp
105 | DFunRec of (string * int * (string * typ) list * typ * exp) list 105 | DFunRec of (string * int * (string * typ) list * typ * exp) list
106 106
107 | DTable of string * (string * typ) list 107 | DTable of string * (string * typ) list * (string * string) list
108 | DSequence of string 108 | DSequence of string
109 | DDatabase of {name : string, expunge : int, initialize : int} 109 | DDatabase of {name : string, expunge : int, initialize : int}
110 | DPreparedStatements of (string * int) list 110 | DPreparedStatements of (string * int) list
111 111
112 | DJavaScript of string 112 | DJavaScript of string