Mercurial > urweb

diff src/core.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/core.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/core.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -127,7 +127,7 @@
        | DDatatype of (string * int * string list * (string * int * con option) list) list
        | DVal of string * int * con * exp * string
        | DValRec of (string * int * con * exp * string) list
-       | DExport of export_kind * int
+       | DExport of export_kind * int * bool
        | DTable of string * int * con * string * exp * con * exp * con
        | DSequence of string * int * string
        | DView of string * int * string * exp * con