Mercurial > urweb
comparison src/core.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 | c316ca3c9ec6 |
comparison
equal
deleted
inserted
replaced
1103:2f42c61b8d0a | 1104:72670131dace |
---|---|
125 datatype decl' = | 125 datatype decl' = |
126 DCon of string * int * kind * con | 126 DCon of string * int * kind * con |
127 | DDatatype of (string * int * string list * (string * int * con option) list) list | 127 | DDatatype of (string * int * string list * (string * int * con option) list) list |
128 | DVal of string * int * con * exp * string | 128 | DVal of string * int * con * exp * string |
129 | DValRec of (string * int * con * exp * string) list | 129 | DValRec of (string * int * con * exp * string) list |
130 | DExport of export_kind * int | 130 | DExport of export_kind * int * bool |
131 | DTable of string * int * con * string * exp * con * exp * con | 131 | DTable of string * int * con * string * exp * con * exp * con |
132 | DSequence of string * int * string | 132 | DSequence of string * int * string |
133 | DView of string * int * string * exp * con | 133 | DView of string * int * string * exp * con |
134 | DDatabase of string | 134 | DDatabase of string |
135 | DCookie of string * int * con * string | 135 | DCookie of string * int * con * string |