diff lib/ur/basis.urs @ 2057:f4a6ccb7937f

Allow Body tags inside cformTags This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 17 Aug 2014 18:28:37 +0000
parents 7c2229aa22fc
children cbc8bcf30c99
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Aug 17 13:07:56 2014 -0400
+++ b/lib/ur/basis.urs	Sun Aug 17 18:28:37 2014 +0000
@@ -1008,8 +1008,8 @@
 
 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
                   ctx ::: {Unit}
-                  -> [[Body] ~ ctx] =>
-                        unit -> tag attrs ([Body] ++ ctx) inner [] []
+                  -> [[Body] ~ ctx] => [[Body] ~ inner] =>
+                        unit -> tag attrs ([Body] ++ ctx) ([Body] ++ inner) [] []
 
 val ctextbox : cformTag ([Value = string, Size = int, Source = source string, Placeholder = string, Onchange = transaction unit,
                           Ontext = transaction unit] ++ boxAttrs) []