Mercurial > urweb

diff src/cjrize.sml @ 463:bb27c7efcd90

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 787d4931fb07
children a152905c3c3b
line wrap: on
line diff
--- a/src/cjrize.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/cjrize.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -412,6 +412,13 @@
             ((L'.ENextval {seq = e, prepared = NONE}, loc), sm)
         end
 
+      | L.EUnurlify (e, t) =>
+        let
+            val (e, sm) = cifyExp (e, sm)
+            val (t, sm) = cifyTyp (t, sm)
+        in
+            ((L'.EUnurlify (e, t), loc), sm)
+        end
 
 fun cifyDecl ((d, loc), sm) =
     case d of