Mercurial > urweb

diff src/corify.sml @ 111:2d6116de9cca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 3739af9e727a
children 541282b81454
line wrap: on
line diff
--- a/src/corify.sml	Sun Jul 13 11:43:57 2008 -0400
+++ b/src/corify.sml	Sun Jul 13 12:06:47 2008 -0400
@@ -376,8 +376,13 @@
       | L.DVal (x, n, t, e) =>
         let
             val (st, n) = St.bindVal st x n
+            val s =
+                if String.isPrefix "wrap_" x then
+                    String.extract (x, 5, NONE)
+                else
+                    x
         in
-            ([(L'.DVal (x, n, corifyCon st t, corifyExp st e, x), loc)], st)
+            ([(L'.DVal (x, n, corifyCon st t, corifyExp st e, s), loc)], st)
         end
                                                                         
       | L.DSgn _ => ([], st)