Mercurial > urweb

comparison lib/ur/basis.urs @ 760:21f6d2e65685

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Megaform test
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 14:43:55 -0400
parents 8323c1beef2e
children 16b34dc2e29c
comparison
equal deleted inserted replaced
759:67cd8326f743 760:21f6d2e65685
506 506
507 con html = [Html] 507 con html = [Html]
508 con head = [Head] 508 con head = [Head]
509 con body = [Body] 509 con body = [Body]
510 con form = [Body, Form] 510 con form = [Body, Form]
511 con subform = [Body, Subform]
511 con tabl = [Body, Table] 512 con tabl = [Body, Table]
512 con tr = [Body, Tr] 513 con tr = [Body, Tr]
513 514
514 type url 515 type url
515 val bless : string -> url 516 val bless : string -> url
568 -> xml ([Form] ++ ctx) use [nm = $bind] 569 -> xml ([Form] ++ ctx) use [nm = $bind]
569 570
570 val subforms : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} 571 val subforms : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}
571 -> [[Form] ~ ctx] => 572 -> [[Form] ~ ctx] =>
572 nm :: Name -> [[nm] ~ use] => 573 nm :: Name -> [[nm] ~ use] =>
573 xml [Body, Subform] [Entry = $bind] [] 574 xml subform [Entry = $bind] []
574 -> xml ([Form] ++ ctx) use [nm = list ($bind)] 575 -> xml ([Form] ++ ctx) use [nm = list ($bind)]
575 576
576 val entry : ctx ::: {Unit} -> bind ::: {Type} 577 val entry : ctx ::: {Unit} -> bind ::: {Type}
577 -> [[Subform] ~ ctx] => 578 -> [[Subform] ~ ctx] =>
578 xml form [] bind 579 xml form [] bind