Mercurial > gui
diff forms.ur @ 27:5905b56e0cd9
Adapt to new HTML contexts
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 20 Dec 2011 21:04:21 -0500 |
| parents | 1e04008eaef7 |
| children |
line wrap: on
line diff
--- a/forms.ur Fri Dec 09 17:38:20 2011 -0500 +++ b/forms.ur Tue Dec 20 21:04:21 2011 -0500 @@ -7,8 +7,8 @@ Invalid s => <xml><b>{[s]}</b></xml> | _ => <xml/>)}/></xml> -fun warningFmt [a ::: Type] [ctx ::: {Unit}] [ctx ~ body] - (wrap : string -> xml (body ++ ctx) [] []) +fun warningFmt [a ::: Type] [ctx ::: {Unit}] [ctx ~ [Dyn]] + (wrap : string -> xml ([Dyn] ++ ctx) [] []) (s : signal (readiness a)) = <xml><dyn signal={v <- s; return (case v of