Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/monoize.sml	Sat Jun 06 15:29:34 2009 -0400
+++ b/src/monoize.sml	Sun Jun 07 11:13:18 2009 -0400
@@ -1245,6 +1245,18 @@
                                       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