diff src/monoize.sml @ 590:57f476c934da

Injecting an int
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:11:17 -0500
parents 1e589a60b86f
children 4c2c740c6931
line wrap: on
line diff
--- a/src/monoize.sml	Thu Jan 01 11:58:00 2009 -0500
+++ b/src/monoize.sml	Thu Jan 01 15:11:17 2009 -0500
@@ -976,7 +976,7 @@
                 ((L'.EAbs ("x", t, (L'.TFun ((L'.TRecord [], loc), (L'.TSource, loc)), loc),
                            (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TSource, loc),
                                      (L'.EFfiApp ("Basis", "new_client_source",
-                                                  [(L'.EJavaScript (L'.File, (L'.ERel 1, loc), NONE), loc)]),
+                                                  [(L'.EJavaScript (L'.Source t, (L'.ERel 1, loc), NONE), loc)]),
                                       loc)), loc)),
                   loc),
                  fm)
@@ -991,7 +991,8 @@
                                      (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TRecord [], loc),
                                                (L'.EFfiApp ("Basis", "set_client_source",
                                                             [(L'.ERel 2, loc),
-                                                             (L'.EJavaScript (L'.File, (L'.ERel 1, loc), NONE), loc)]),
+                                                             (L'.EJavaScript (L'.Source t,
+                                                                              (L'.ERel 1, loc), NONE), loc)]),
                                                 loc)), loc)), loc)), loc),
                  fm)
             end