Mercurial > urweb
diff src/marshalcheck.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 | 61a1f5c5ae2c |
children | b106ca8200b1 |
line wrap: on
line diff
--- a/src/marshalcheck.sml Wed Dec 30 09:52:18 2009 -0500 +++ b/src/marshalcheck.sml Thu Dec 31 11:41:57 2009 -0500 @@ -89,7 +89,7 @@ foldl (fn ((_, n, t, _, tag), emap) => IM.insert (emap, n, (t, tag))) emap vis) - | DExport (_, n) => + | DExport (_, n, _) => (case IM.find (emap, n) of NONE => raise Fail "MarshalCheck: Unknown export" | SOME (t, tag) =>