diff options
author | 2009-06-07 11:13:18 -0400 | |
---|---|---|
committer | 2009-06-07 11:13:18 -0400 | |
commit | 6994a00f608335fc2e835538dfd84b70aa486d0f (patch) | |
tree | 025a2cfb12b5075c231a663b21c6df3b979848ef /src/monoize.sml | |
parent | 555b6a066f6a4a2396ead20e673b363c3706e713 (diff) |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 9654fd53..bdc8ef82 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1245,6 +1245,18 @@ fun monoExp (env, st, fm) (all as (e, loc)) = loc)), loc)), loc), fm) end + | L.ECApp ((L.EFfi ("Basis", "current"), _), t) => + let + val t = monoType env t + in + ((L'.EAbs ("src", (L'.TSource, loc), + (L'.TFun ((L'.TRecord [], loc), t), loc), + (L'.EAbs ("_", (L'.TRecord [], loc), t, + (L'.EFfiApp ("Basis", "current", + [(L'.ERel 1, loc)]), + loc)), loc)), loc), + fm) + end | L.EFfiApp ("Basis", "spawn", [e]) => let |