Mercurial > urweb
comparison src/core.sml @ 704:70cbdcf5989b
UNIQUE constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 12:24:31 -0400 |
parents | 230654093b51 |
children | e6706a1df013 |
comparison
equal
deleted
inserted
replaced
703:a5d8b470d7ca | 704:70cbdcf5989b |
---|---|
128 DCon of string * int * kind * con | 128 DCon of string * int * kind * con |
129 | DDatatype of string * int * string list * (string * int * con option) list | 129 | DDatatype of string * int * string list * (string * int * con option) list |
130 | DVal of string * int * con * exp * string | 130 | DVal of string * int * con * exp * string |
131 | DValRec of (string * int * con * exp * string) list | 131 | DValRec of (string * int * con * exp * string) list |
132 | DExport of export_kind * int | 132 | DExport of export_kind * int |
133 | DTable of string * int * con * string | 133 | DTable of string * int * con * string * exp |
134 | DSequence of string * int * string | 134 | DSequence of string * int * string |
135 | DDatabase of string | 135 | DDatabase of string |
136 | DCookie of string * int * con * string | 136 | DCookie of string * int * con * string |
137 | 137 |
138 withtype decl = decl' located | 138 withtype decl = decl' located |