From 197d67717d69dcacf68fda05c8bdd19591c51b88 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 7 Jan 2010 14:02:58 -0500 Subject: Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization --- lib/ur/basis.urs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib') 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 -- cgit v1.2.3