Mercurial > urweb
diff lib/ur/basis.urs @ 847:0f7e2cca6d9b
<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 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Tue Jun 09 18:11:59 2009 -0400 +++ b/lib/ur/basis.urs Sat Jun 13 14:29:36 2009 -0400 @@ -530,8 +530,8 @@ val bless : string -> url val checkUrl : string -> option url -val dyn : use ::: {Type} -> bind ::: {Type} -> unit - -> tag [Signal = signal (xml body use bind)] body [] use bind +val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit + -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] []