diff src/monoize.sml @ 1646:ca3b73a7b4d0

Get a few more source files up-to-date with change to [tag] type
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Dec 2011 18:05:27 -0500
parents b0720700c36e
children dfc854e478bb
line wrap: on
line diff
--- a/src/monoize.sml	Wed Dec 28 10:30:56 2011 -0500
+++ b/src/monoize.sml	Wed Dec 28 18:05:27 2011 -0500
@@ -3501,12 +3501,14 @@
 	    in
 		case #1 dynClass of
 		    L'.ENone _ => baseAll
-		  | _ => (strcat [str "<script type=\"text/javascript\">dynClass(execD(",
-				  (L'.EJavaScript (L'.Script, base), loc),
-				  str "),execD(",
-				  (L'.EJavaScript (L'.Script, dynClass), loc),
-				  str "))</script>"],
-			  fm)
+		  | L'.ESome (_, dc) => (strcat [str "<script type=\"text/javascript\">dynClass(execD(",
+				                 (L'.EJavaScript (L'.Script, base), loc),
+				                 str "),execD(",
+				                 (L'.EJavaScript (L'.Script, dc), loc),
+				                 str "))</script>"],
+			                 fm)
+                  | _ => (E.errorAt loc "Absence/presence of 'dynClass' unknown";
+                          baseAll)
             end
 
           | L.EApp (
@@ -3541,7 +3543,7 @@
                         (L.EApp (
                          (L.EApp (
                           (L.EApp (
-                           (L.ECApp (
+                           (L.EApp (
                             (L.ECApp (
                              (L.ECApp (
                               (L.ECApp (
@@ -3549,8 +3551,10 @@
                                 (L.ECApp (
                                  (L.ECApp (
                                   (L.ECApp (
-                                   (L.EFfi ("Basis", "tag"),
-                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                                   (L.ECApp (
+                                    (L.EFfi ("Basis", "tag"),
+                                     _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                            _), _),
                            _), _),
                           attrs), _),
                          _), _),