diff src/monoize.sml @ 1370:44a12a321150

queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents b02cb9da5686
children 4e5ca2a77a4d
line wrap: on
line diff
--- a/src/monoize.sml	Sun Dec 26 15:52:56 2010 -0500
+++ b/src/monoize.sml	Sun Dec 26 17:29:03 2010 -0500
@@ -1189,6 +1189,12 @@
             in
                 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
             end
+          | L.EFfi ("Basis", "show_queryString") =>
+            let
+                val s = (L'.TFfi ("Basis", "string"), loc)
+            in
+                ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
+            end
           | L.EFfi ("Basis", "show_url") =>
             let
                 val s = (L'.TFfi ("Basis", "string"), loc)
@@ -3633,8 +3639,9 @@
           | L.EFfiApp ("Basis", "url", [e]) =>
             let
                 val (e, fm) = monoExp (env, st, fm) e
+                val (e, fm) = urlifyExp env fm (e, dummyTyp)
             in
-                urlifyExp env fm (e, dummyTyp)
+                ((L'.EStrcat ((L'.EPrim (Prim.String (Settings.getUrlPrePrefix ())), loc), e), loc), fm)
             end
 
           | L.EApp (e1, e2) =>