Mercurial > urweb

diff src/monoize.sml @ 1749:f9e5a8e09cdf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 13:07:13 -0400
parents d2b3fada532e
children 277480862cef
line wrap: on
line diff
--- a/src/monoize.sml	Sun May 06 12:37:43 2012 -0400
+++ b/src/monoize.sml	Sun May 06 13:07:13 2012 -0400
@@ -3077,15 +3077,15 @@
                         val s = (L'.EPrim (Prim.String (String.concat ["<", tag'])), loc)
 
                         val s = (L'.ECase (class,
-                                           [((L'.PNone t, loc),
+                                           [((L'.PPrim (Prim.String ""), loc),
                                              s),
-                                            ((L'.PSome (t, (L'.PVar ("x", t), loc)), loc),
+                                            ((L'.PVar ("x", t), loc),
                                              (L'.EStrcat (s,
                                                          (L'.EStrcat ((L'.EPrim (Prim.String " class=\""), loc),
                                                                       (L'.EStrcat ((L'.ERel 0, loc),
                                                                                    (L'.EPrim (Prim.String "\""), loc)),
                                                                        loc)), loc)), loc))],
-                                           {disc = (L'.TOption t, loc),
+                                           {disc = t,
                                             result = t}), loc)
 
                         val (s, fm) = foldl (fn (("Action", _, _), acc) => acc