Mercurial > urweb

diff src/mono_util.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 7abb28e9d51f
children 65d8541c130b
line wrap: on
line diff
--- a/src/mono_util.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/mono_util.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -305,6 +305,12 @@
                 S.map2 (mfe ctx e,
                      fn e' =>
                         (ENextval e', loc))
+              | EUnurlify (e, t) =>
+                S.bind2 (mfe ctx e,
+                     fn e' =>
+                        S.map2 (mft t,
+                                fn t' =>
+                                   (EUnurlify (e', t'), loc)))
     in
         mfe
     end