diff lib/ur/basis.urs @ 1749:f9e5a8e09cdf

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 540df112ff62
children 277480862cef
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun May 06 12:37:43 2012 -0400
+++ b/lib/ur/basis.urs	Sun May 06 13:07:13 2012 -0400
@@ -648,7 +648,7 @@
           -> [attrsGiven ~ attrsAbsent] =>
              [useOuter ~ useInner] =>
              [bindOuter ~ bindInner] =>
-           option css_class
+           css_class
 	   -> option (signal css_class)
            -> $attrsGiven
            -> tag (attrsGiven ++ attrsAbsent)