diff src/monoize.sml @ 1800:38297294cf98

New NameJs phase, still needing some debugging
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 18:12:37 -0400
parents 3d922a28370b
children 62c18ecbfec4
line wrap: on
line diff
--- a/src/monoize.sml	Thu Aug 02 16:33:25 2012 -0400
+++ b/src/monoize.sml	Thu Aug 02 18:12:37 2012 -0400
@@ -3478,9 +3478,9 @@
 
                         val t = (L'.TFfi ("Basis", "string"), loc)
                         val setClass = (L'.ECase (class,
-                                                  [((L'.PNone t, loc),
+                                                  [((L'.PPrim (Prim.String ""), loc),
                                                     str ""),
-                                                   ((L'.PSome (t, (L'.PVar ("x", t), loc)), loc),
+                                                   ((L'.PVar ("x", t), loc),
                                                     (L'.EStrcat ((L'.EPrim (Prim.String "d.className=\""), loc),
                                                                  (L'.EStrcat ((L'.ERel 0, loc),
                                                                               (L'.EPrim (Prim.String "\";"), loc)), loc)),