Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/source.sml Tue Apr 28 14:02:23 2009 -0400 +++ b/src/source.sml Tue Apr 28 15:04:37 2009 -0400 @@ -161,6 +161,7 @@ | DExport of str | DTable of string * con * exp * exp | DSequence of string + | DView of string * exp | DClass of string * kind * con | DDatabase of string | DCookie of string * con