diff options
author | 2012-05-06 13:07:13 -0400 | |
---|---|---|
committer | 2012-05-06 13:07:13 -0400 | |
commit | b9cd9e281652a8b74887a5f86328712b3170d890 (patch) | |
tree | c05d904bc4318b2c43116218f2844479cc71e3fc /lib/ur/basis.urs | |
parent | f2b891fbf46eaf4e18ee972c9620dc6e5459e31a (diff) |
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 2869adce..ef2b9156 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -648,7 +648,7 @@ val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> [attrsGiven ~ attrsAbsent] => [useOuter ~ useInner] => [bindOuter ~ bindInner] => - option css_class + css_class -> option (signal css_class) -> $attrsGiven -> tag (attrsGiven ++ attrsAbsent) |