diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-06 13:07:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-06 13:07:13 -0400 |
| commit | b9cd9e281652a8b74887a5f86328712b3170d890 (patch) | |
| tree | c05d904bc4318b2c43116218f2844479cc71e3fc /lib/ur | |
| 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')
| -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) |