comparison src/expl.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
139 | DValRec of (string * int * con * exp) list 139 | DValRec of (string * int * con * exp) list
140 | DSgn of string * int * sgn 140 | DSgn of string * int * sgn
141 | DStr of string * int * sgn * str 141 | DStr of string * int * sgn * str
142 | DFfiStr of string * int * sgn 142 | DFfiStr of string * int * sgn
143 | DExport of int * sgn * str 143 | DExport of int * sgn * str
144 | DTable of int * string * int * con * exp 144 | DTable of int * string * int * con * exp * con
145 | DSequence of int * string * int 145 | DSequence of int * string * int
146 | DDatabase of string 146 | DDatabase of string
147 | DCookie of int * string * int * con 147 | DCookie of int * string * int * con
148 148
149 and str' = 149 and str' =