comparison src/mono.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 500e93aa436f
comparison
equal deleted inserted replaced
686:3b46548f701b 687:a3ddf05fb3e3
120 | DValRec of (string * int * typ * exp * string) list 120 | DValRec of (string * int * typ * exp * string) list
121 | DExport of Core.export_kind * string * int * typ list * typ 121 | DExport of Core.export_kind * string * int * typ list * typ
122 122
123 | DTable of string * (string * typ) list 123 | DTable of string * (string * typ) list
124 | DSequence of string 124 | DSequence of string
125 | DDatabase of string * int 125 | DDatabase of {name : string, expunge : int, initialize : int}
126 126
127 | DJavaScript of string 127 | DJavaScript of string
128 128
129 129
130 withtype decl = decl' located 130 withtype decl = decl' located