comparison 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
comparison
equal deleted inserted replaced
1748:95dd9f427bb2 1749:f9e5a8e09cdf
646 -> useOuter ::: {Type} -> useInner ::: {Type} 646 -> useOuter ::: {Type} -> useInner ::: {Type}
647 -> bindOuter ::: {Type} -> bindInner ::: {Type} 647 -> bindOuter ::: {Type} -> bindInner ::: {Type}
648 -> [attrsGiven ~ attrsAbsent] => 648 -> [attrsGiven ~ attrsAbsent] =>
649 [useOuter ~ useInner] => 649 [useOuter ~ useInner] =>
650 [bindOuter ~ bindInner] => 650 [bindOuter ~ bindInner] =>
651 option css_class 651 css_class
652 -> option (signal css_class) 652 -> option (signal css_class)
653 -> $attrsGiven 653 -> $attrsGiven
654 -> tag (attrsGiven ++ attrsAbsent) 654 -> tag (attrsGiven ++ attrsAbsent)
655 ctxOuter ctxInner useOuter bindOuter 655 ctxOuter ctxInner useOuter bindOuter
656 -> xml ctxInner useInner bindInner 656 -> xml ctxInner useInner bindInner