diff src/cjr.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f7e2026dd5ae
children fa2019a63ea4
line wrap: on
line diff
--- a/src/cjr.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/cjr.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -107,6 +107,7 @@
 
        | DTable of string * (string * typ) list * string * (string * string) list
        | DSequence of string
+       | DView of string * (string * typ) list * string
        | DDatabase of {name : string, expunge : int, initialize : int}
        | DPreparedStatements of (string * int) list