Mercurial > urweb

comparison src/monoize.sml @ 1112:7a31e0cf25e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 631a3597c065
children 4f3a1aa3b66d
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
1336 val t = monoType env t 1336 val t = monoType env t
1337 in 1337 in
1338 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc), 1338 ((L'.EAbs ("c", s, (L'.TFun (un, s), loc),
1339 (L'.EAbs ("_", un, s, 1339 (L'.EAbs ("_", un, s,
1340 (L'.EUnurlify ((L'.EFfiApp ("Basis", "get_cookie", [(L'.ERel 1, loc)]), loc), 1340 (L'.EUnurlify ((L'.EFfiApp ("Basis", "get_cookie", [(L'.ERel 1, loc)]), loc),
1341 t), 1341 t, true),
1342 loc)), loc)), loc), 1342 loc)), loc)), loc),
1343 fm) 1343 fm)
1344 end 1344 end
1345 1345
1346 | L.ECApp ((L.EFfi ("Basis", "setCookie"), _), t) => 1346 | L.ECApp ((L.EFfi ("Basis", "setCookie"), _), t) =>
3253 end 3253 end
3254 | L.ECApp ((L.EFfi ("Basis", "deserialize"), _), t) => 3254 | L.ECApp ((L.EFfi ("Basis", "deserialize"), _), t) =>
3255 let 3255 let
3256 val t = monoType env t 3256 val t = monoType env t
3257 in 3257 in
3258 ((L'.EAbs ("v", (L'.TFfi ("Basis", "string"), loc), t, (L'.EUnurlify ((L'.ERel 0, loc), t), loc)), loc), 3258 ((L'.EAbs ("v", (L'.TFfi ("Basis", "string"), loc), t, (L'.EUnurlify ((L'.ERel 0, loc), t, false),
3259 loc)), loc),
3259 fm) 3260 fm)
3260 end 3261 end
3261 3262
3262 | L.EFfiApp ("Basis", "url", [e]) => 3263 | L.EFfiApp ("Basis", "url", [e]) =>
3263 let 3264 let