diff options
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 5eae9306..d61763af 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -657,7 +657,7 @@ val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction Onload = transaction unit] ++ boxAttrs) val form : ctx ::: {Unit} -> bind ::: {Type} - -> [[Body, Form] ~ ctx] => + -> [[Body, Form, Table] ~ ctx] => xml ([Body, Form] ++ ctx) [] bind -> xml ([Body] ++ ctx) [] [] @@ -777,3 +777,6 @@ val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml type task_kind val initialize : task_kind + + +val debug : string -> transaction unit |