Mercurial > urweb
comparison src/mono.sml @ 704:70cbdcf5989b
UNIQUE constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 12:24:31 -0400 |
parents | 500e93aa436f |
children | d8217b4cb617 |
comparison
equal
deleted
inserted
replaced
703:a5d8b470d7ca | 704:70cbdcf5989b |
---|---|
119 DDatatype of string * int * (string * int * typ option) list | 119 DDatatype of string * int * (string * int * typ option) list |
120 | DVal of string * int * typ * exp * string | 120 | DVal of string * int * typ * exp * string |
121 | DValRec of (string * int * typ * exp * string) list | 121 | DValRec of (string * int * typ * exp * string) list |
122 | DExport of Core.export_kind * string * int * typ list * typ | 122 | DExport of Core.export_kind * string * int * typ list * typ |
123 | 123 |
124 | DTable of string * (string * typ) list | 124 | DTable of string * (string * typ) list * exp |
125 | DSequence of string | 125 | DSequence of string |
126 | DDatabase of {name : string, expunge : int, initialize : int} | 126 | DDatabase of {name : string, expunge : int, initialize : int} |
127 | 127 |
128 | DJavaScript of string | 128 | DJavaScript of string |
129 | 129 |