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