comparison 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
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
105 | DFun of string * int * (string * typ) list * typ * exp 105 | DFun of string * int * (string * typ) list * typ * exp
106 | DFunRec of (string * int * (string * typ) list * typ * exp) list 106 | DFunRec of (string * int * (string * typ) list * typ * exp) list
107 107
108 | DTable of string * (string * typ) list * string * (string * string) list 108 | DTable of string * (string * typ) list * string * (string * string) list
109 | DSequence of string 109 | DSequence of string
110 | DView of string * (string * typ) list * string
110 | DDatabase of {name : string, expunge : int, initialize : int} 111 | DDatabase of {name : string, expunge : int, initialize : int}
111 | DPreparedStatements of (string * int) list 112 | DPreparedStatements of (string * int) list
112 113
113 | DJavaScript of string 114 | DJavaScript of string
114 | DCookie of string 115 | DCookie of string