comparison src/source.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children e2780d2f4afc
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
159 | DConstraint of con * con 159 | DConstraint of con * con
160 | DOpenConstraints of string * string list 160 | DOpenConstraints of string * string list
161 | DExport of str 161 | DExport of str
162 | DTable of string * con * exp * exp 162 | DTable of string * con * exp * exp
163 | DSequence of string 163 | DSequence of string
164 | DView of string * exp
164 | DClass of string * kind * con 165 | DClass of string * kind * con
165 | DDatabase of string 166 | DDatabase of string
166 | DCookie of string * con 167 | DCookie of string * con
167 | DStyle of string 168 | DStyle of string
168 169