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