From a0192f82b6a2a5e3983766ca32a94f51be5d6104 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 28 Dec 2011 18:05:27 -0500
Subject: Get a few more source files up-to-date with change to [tag] type

---
 src/monoize.sml | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 3d3b0395..2b3abb61 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3501,12 +3501,14 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
 	    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 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                         (L.EApp (
                          (L.EApp (
                           (L.EApp (
-                           (L.ECApp (
+                           (L.EApp (
                             (L.ECApp (
                              (L.ECApp (
                               (L.ECApp (
@@ -3549,8 +3551,10 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                                 (L.ECApp (
                                  (L.ECApp (
                                   (L.ECApp (
-                                   (L.EFfi ("Basis", "tag"),
-                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                                   (L.ECApp (
+                                    (L.EFfi ("Basis", "tag"),
+                                     _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                            _), _),
                            _), _),
                           attrs), _),
                          _), _),
-- 
cgit v1.2.3