diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
commit | a9f87e669faf36223c24f98f945616ab05aab8d5 (patch) | |
tree | 1779915b8b421011dba936447d059ac932cb30b7 /lib | |
parent | 5b7e350bbb440255b866a14d59b69f9d8e411f36 (diff) |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'lib')
-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 |