Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
462:21bb5bbba2e9 463:bb27c7efcd90
953 val un = (L'.TRecord [], loc) 953 val un = (L'.TRecord [], loc)
954 val t = monoType env t 954 val t = monoType env t
955 in 955 in
956 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc), 956 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc),
957 (L'.EAbs ("_", un, s, 957 (L'.EAbs ("_", un, s,
958 (L'.EPrim (Prim.String "Cookie!"), loc)), loc)), loc), 958 (L'.EUnurlify ((L'.EFfiApp ("Basis", "get_cookie", [(L'.ERel 1, loc)]), loc),
959 t),
960 loc)), loc)), loc),
959 fm) 961 fm)
960 end 962 end
961 963
962 | L.ECApp ((L.EFfi ("Basis", "setCookie"), _), t) => 964 | L.ECApp ((L.EFfi ("Basis", "setCookie"), _), t) =>
963 let 965 let