Mercurial > urweb

diff src/monoize.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 631a3597c065
children 4f3a1aa3b66d
line wrap: on
line diff
--- a/src/monoize.sml	Sat Jan 02 14:54:15 2010 -0500
+++ b/src/monoize.sml	Sun Jan 03 12:47:27 2010 -0500
@@ -1338,7 +1338,7 @@
                 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc),
                            (L'.EAbs ("_", un, s,
                                      (L'.EUnurlify ((L'.EFfiApp ("Basis", "get_cookie", [(L'.ERel 1, loc)]), loc),
-                                                    t),
+                                                    t, true),
                                       loc)), loc)), loc),
                  fm)
             end
@@ -3255,7 +3255,8 @@
             let
                 val t = monoType env t
             in
-                ((L'.EAbs ("v", (L'.TFfi ("Basis", "string"), loc), t, (L'.EUnurlify ((L'.ERel 0, loc), t), loc)), loc),
+                ((L'.EAbs ("v", (L'.TFfi ("Basis", "string"), loc), t, (L'.EUnurlify ((L'.ERel 0, loc), t, false),
+                                                                        loc)), loc),
                  fm)
             end