comparison src/expl.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents e0dd85ea58e1
children 0e554bfd6d6a
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
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 * con * exp * con 144 | DTable of int * string * int * con * exp * con * exp * con
145 | DSequence of int * string * int 145 | DSequence of int * string * int
146 | DView of int * string * int * exp * con
146 | DDatabase of string 147 | DDatabase of string
147 | DCookie of int * string * int * con 148 | DCookie of int * string * int * con
148 | DStyle of int * string * int 149 | DStyle of int * string * int
149 150
150 and str' = 151 and str' =