Mercurial > urweb

comparison lib/ur/basis.urs @ 1120:74f2eb3b0606

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -0500
parents 951fced704d6
children e1cf925e2074
comparison
equal deleted inserted replaced
1119:951fced704d6 1120:74f2eb3b0606
655 655
656 val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction unit, 656 val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction unit,
657 Onload = transaction unit] ++ boxAttrs) 657 Onload = transaction unit] ++ boxAttrs)
658 658
659 val form : ctx ::: {Unit} -> bind ::: {Type} 659 val form : ctx ::: {Unit} -> bind ::: {Type}
660 -> [[Body, Form] ~ ctx] => 660 -> [[Body, Form, Table] ~ ctx] =>
661 xml ([Body, Form] ++ ctx) [] bind 661 xml ([Body, Form] ++ ctx) [] bind
662 -> xml ([Body] ++ ctx) [] [] 662 -> xml ([Body] ++ ctx) [] []
663 663
664 val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} 664 val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}
665 -> [[Form] ~ ctx] => 665 -> [[Form] ~ ctx] =>
775 775
776 (** Tasks *) 776 (** Tasks *)
777 777
778 type task_kind 778 type task_kind
779 val initialize : task_kind 779 val initialize : task_kind
780
781
782 val debug : string -> transaction unit