Mercurial > urweb
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 |