comparison src/cjr.sml @ 683:9a2c18dab11d

Expunging non-nullable rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 13:30:01 -0400
parents aa2290c32ce2
children a3ddf05fb3e3
comparison
equal deleted inserted replaced
682:5bbb542243e8 683:9a2c18dab11d
104 | DFun of string * int * (string * typ) list * typ * exp 104 | DFun of string * int * (string * typ) list * typ * exp
105 | DFunRec of (string * int * (string * typ) list * typ * exp) list 105 | DFunRec of (string * int * (string * typ) list * typ * exp) list
106 106
107 | DTable of string * (string * typ) list 107 | DTable of string * (string * typ) list
108 | DSequence of string 108 | DSequence of string
109 | DDatabase of string 109 | DDatabase of string * int
110 | DPreparedStatements of (string * int) list 110 | DPreparedStatements of (string * int) list
111 111
112 | DJavaScript of string 112 | DJavaScript of string
113 113
114 withtype decl = decl' located 114 withtype decl = decl' located