Mercurial > urweb
comparison src/mono.sml @ 1104:72670131dace
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Dec 2009 11:41:57 -0500 |
parents | 0657e5adc938 |
children | 7a31e0cf25e9 |
comparison
equal
deleted
inserted
replaced
1103:2f42c61b8d0a | 1104:72670131dace |
---|---|
125 | 125 |
126 datatype decl' = | 126 datatype decl' = |
127 DDatatype of (string * int * (string * int * typ option) list) list | 127 DDatatype of (string * int * (string * int * typ option) list) list |
128 | DVal of string * int * typ * exp * string | 128 | DVal of string * int * typ * exp * string |
129 | DValRec of (string * int * typ * exp * string) list | 129 | DValRec of (string * int * typ * exp * string) list |
130 | DExport of export_kind * string * int * typ list * typ | 130 | DExport of export_kind * string * int * typ list * typ * bool |
131 | 131 |
132 | DTable of string * (string * typ) list * exp * exp | 132 | DTable of string * (string * typ) list * exp * exp |
133 | DSequence of string | 133 | DSequence of string |
134 | DView of string * (string * typ) list * exp | 134 | DView of string * (string * typ) list * exp |
135 | DDatabase of {name : string, expunge : int, initialize : int} | 135 | DDatabase of {name : string, expunge : int, initialize : int} |