Mercurial > urweb

comparison src/marshalcheck.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 61a1f5c5ae2c
children b106ca8200b1
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
87 | DVal (_, n, t, _, tag) => (cmap, IM.insert (emap, n, (t, tag))) 87 | DVal (_, n, t, _, tag) => (cmap, IM.insert (emap, n, (t, tag)))
88 | DValRec vis => (cmap, 88 | DValRec vis => (cmap,
89 foldl (fn ((_, n, t, _, tag), emap) => IM.insert (emap, n, (t, tag))) 89 foldl (fn ((_, n, t, _, tag), emap) => IM.insert (emap, n, (t, tag)))
90 emap vis) 90 emap vis)
91 91
92 | DExport (_, n) => 92 | DExport (_, n, _) =>
93 (case IM.find (emap, n) of 93 (case IM.find (emap, n) of
94 NONE => raise Fail "MarshalCheck: Unknown export" 94 NONE => raise Fail "MarshalCheck: Unknown export"
95 | SOME (t, tag) => 95 | SOME (t, tag) =>
96 let 96 let
97 fun makeS (t, _) = 97 fun makeS (t, _) =