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