# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1408300117 0
# Node ID f4a6ccb7937ffe97920ce136cda727b8e2d41280
# Parent  a9159911c3ba138b23bc044c89541aa28bcf7507
Allow Body tags inside cformTags

This is required by Bootstrap. For example, see
  http://getbootstrap.com/components/#alerts-dismissible

diff -r a9159911c3ba -r f4a6ccb7937f lib/ur/basis.urs
--- 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) []