comparison src/core.sml @ 705:e6706a1df013

Track uniqueness sets in table types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 14:11:32 -0400
parents 70cbdcf5989b
children d8217b4cb617
comparison
equal deleted inserted replaced
704:70cbdcf5989b 705:e6706a1df013
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 * exp 133 | DTable of string * int * con * string * exp * con
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