Mercurial > urweb

diff src/monoize.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 21bb5bbba2e9
children ddd363e856ff
line wrap: on
line diff
--- a/src/monoize.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/monoize.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -955,7 +955,9 @@
             in
                 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc),
                            (L'.EAbs ("_", un, s,
-                                     (L'.EPrim (Prim.String "Cookie!"), loc)), loc)), loc),
+                                     (L'.EUnurlify ((L'.EFfiApp ("Basis", "get_cookie", [(L'.ERel 1, loc)]), loc),
+                                                    t),
+                                      loc)), loc)), loc),
                  fm)
             end