Mercurial > urweb
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 |