Mercurial > urweb
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) =>