Mercurial > urweb

comparison src/monoize.sml @ 466:1626dcba13ee

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies work across pages
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 14:03:50 -0500
parents ddd363e856ff
children 3f1b9231a37b
comparison
equal deleted inserted replaced
465:ddd363e856ff 466:1626dcba13ee
969 val (e, fm) = urlifyExp env fm ((L'.ERel 1, loc), t) 969 val (e, fm) = urlifyExp env fm ((L'.ERel 1, loc), t)
970 in 970 in
971 ((L'.EAbs ("c", s, (L'.TFun (t, (L'.TFun (un, un), loc)), loc), 971 ((L'.EAbs ("c", s, (L'.TFun (t, (L'.TFun (un, un), loc)), loc),
972 (L'.EAbs ("v", t, (L'.TFun (un, un), loc), 972 (L'.EAbs ("v", t, (L'.TFun (un, un), loc),
973 (L'.EAbs ("_", un, un, 973 (L'.EAbs ("_", un, un,
974 (L'.EFfiApp ("Basis", "set_cookie", [(L'.ERel 2, loc), e]), loc)), 974 (L'.EFfiApp ("Basis", "set_cookie", [(L'.EPrim (Prim.String (!urlPrefix)),
975 loc),
976 (L'.ERel 2, loc),
977 e]), loc)),
975 loc)), loc)), loc), 978 loc)), loc)), loc),
976 fm) 979 fm)
977 end 980 end
978 981
979 | L.EFfiApp ("Basis", "dml", [e]) => 982 | L.EFfiApp ("Basis", "dml", [e]) =>