Mercurial > urweb

comparison lib/ur/basis.urs @ 847:0f7e2cca6d9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Jun 2009 14:29:36 -0400
parents 0d30e6338c65
children e04af9641067
comparison
equal deleted inserted replaced
846:0d30e6338c65 847:0f7e2cca6d9b
528 528
529 type url 529 type url
530 val bless : string -> url 530 val bless : string -> url
531 val checkUrl : string -> option url 531 val checkUrl : string -> option url
532 532
533 val dyn : use ::: {Type} -> bind ::: {Type} -> unit 533 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit
534 -> tag [Signal = signal (xml body use bind)] body [] use bind 534 -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind
535 535
536 val head : unit -> tag [] html head [] [] 536 val head : unit -> tag [] html head [] []
537 val title : unit -> tag [] head [] [] [] 537 val title : unit -> tag [] head [] [] []
538 val link : unit -> tag [Rel = string, Typ = string, Href = url, Media = string] head [] [] [] 538 val link : unit -> tag [Rel = string, Typ = string, Href = url, Media = string] head [] [] []
539 539