comparison src/cjr.sml @ 707:d8217b4cb617

PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 70cbdcf5989b
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
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 * (string * string) list 107 | DTable of string * (string * typ) list * string * (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