Mercurial > urweb

diff src/checknest.sml @ 1112:7a31e0cf25e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents b2311dfb3158
children acabf3935060
line wrap: on
line diff
--- a/src/checknest.sml	Sat Jan 02 14:54:15 2010 -0500
+++ b/src/checknest.sml	Sun Jan 03 12:47:27 2010 -0500
@@ -89,7 +89,7 @@
                 end
               | ESetval {seq, count} => IS.union (eu seq, eu count)
 
-              | EUnurlify (e, _) => eu e
+              | EUnurlify (e, _, _) => eu e
     in
         eu
     end
@@ -149,7 +149,7 @@
                 (ESetval {seq = ae seq,
                           count = ae count}, loc)
 
-              | EUnurlify (e, t) => (EUnurlify (ae e, t), loc)
+              | EUnurlify (e, t, b) => (EUnurlify (ae e, t, b), loc)
     in
         ae
     end