Mercurial > urweb

comparison src/monoize.sml @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents b02cb9da5686
children 4e5ca2a77a4d
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
1182 | L.EFfi ("Basis", "show_int") => 1182 | L.EFfi ("Basis", "show_int") =>
1183 ((L'.EFfi ("Basis", "intToString"), loc), fm) 1183 ((L'.EFfi ("Basis", "intToString"), loc), fm)
1184 | L.EFfi ("Basis", "show_float") => 1184 | L.EFfi ("Basis", "show_float") =>
1185 ((L'.EFfi ("Basis", "floatToString"), loc), fm) 1185 ((L'.EFfi ("Basis", "floatToString"), loc), fm)
1186 | L.EFfi ("Basis", "show_string") => 1186 | L.EFfi ("Basis", "show_string") =>
1187 let
1188 val s = (L'.TFfi ("Basis", "string"), loc)
1189 in
1190 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
1191 end
1192 | L.EFfi ("Basis", "show_queryString") =>
1187 let 1193 let
1188 val s = (L'.TFfi ("Basis", "string"), loc) 1194 val s = (L'.TFfi ("Basis", "string"), loc)
1189 in 1195 in
1190 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) 1196 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
1191 end 1197 end
3631 end 3637 end
3632 3638
3633 | L.EFfiApp ("Basis", "url", [e]) => 3639 | L.EFfiApp ("Basis", "url", [e]) =>
3634 let 3640 let
3635 val (e, fm) = monoExp (env, st, fm) e 3641 val (e, fm) = monoExp (env, st, fm) e
3636 in 3642 val (e, fm) = urlifyExp env fm (e, dummyTyp)
3637 urlifyExp env fm (e, dummyTyp) 3643 in
3644 ((L'.EStrcat ((L'.EPrim (Prim.String (Settings.getUrlPrePrefix ())), loc), e), loc), fm)
3638 end 3645 end
3639 3646
3640 | L.EApp (e1, e2) => 3647 | L.EApp (e1, e2) =>
3641 let 3648 let
3642 val (e1, fm) = monoExp (env, st, fm) e1 3649 val (e1, fm) = monoExp (env, st, fm) e1