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 | 4387731e477e2af050841f916a03f5d8a975a164 (patch) | |
| tree | c05d904bc4318b2c43116218f2844479cc71e3fc /lib/ur/basis.urs | |
| parent | 44d64f9ce5ee0c4f4bce154ec2bd7f93bb26356b (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) |