Mercurial > urweb
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' = |