comparison src/cjr.sml @ 687:a3ddf05fb3e3

On start-up, delete/nullify rows mentioning clients or channels
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 11:42:26 -0400
parents 9a2c18dab11d
children 655bcc9b77e0
comparison
equal deleted inserted replaced
686:3b46548f701b 687:a3ddf05fb3e3
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 * int 109 | DDatabase of {name : string, expunge : int, initialize : 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