Mercurial > urweb

comparison src/monoize.sml @ 841:44c2c089ca15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 74e9e7642f08
children 74a1e3bdf430
comparison
equal deleted inserted replaced
840:e4a02e4fa35c 841:44c2c089ca15
1239 in 1239 in
1240 ((L'.EAbs ("src", (L'.TSource, loc), 1240 ((L'.EAbs ("src", (L'.TSource, loc),
1241 (L'.TFun ((L'.TRecord [], loc), t), loc), 1241 (L'.TFun ((L'.TRecord [], loc), t), loc),
1242 (L'.EAbs ("_", (L'.TRecord [], loc), t, 1242 (L'.EAbs ("_", (L'.TRecord [], loc), t,
1243 (L'.EFfiApp ("Basis", "get_client_source", 1243 (L'.EFfiApp ("Basis", "get_client_source",
1244 [(L'.ERel 1, loc)]),
1245 loc)), loc)), loc),
1246 fm)
1247 end
1248 | L.ECApp ((L.EFfi ("Basis", "current"), _), t) =>
1249 let
1250 val t = monoType env t
1251 in
1252 ((L'.EAbs ("src", (L'.TSource, loc),
1253 (L'.TFun ((L'.TRecord [], loc), t), loc),
1254 (L'.EAbs ("_", (L'.TRecord [], loc), t,
1255 (L'.EFfiApp ("Basis", "current",
1244 [(L'.ERel 1, loc)]), 1256 [(L'.ERel 1, loc)]),
1245 loc)), loc)), loc), 1257 loc)), loc)), loc),
1246 fm) 1258 fm)
1247 end 1259 end
1248 1260