Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization

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