Mercurial > gui
view forms.ur @ 26:86857ae0f386
Change more dashes to slashes, for JavaScript compatibility
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 09 Dec 2011 17:38:20 -0500 |
parents | 1e04008eaef7 |
children | 5905b56e0cd9 |
line wrap: on
line source
datatype readiness a = Ready of a | Waiting | Invalid of string datatype rpcResult a = Success of a | Failure of string fun warning [a] (s : signal (readiness a)) = <xml><dyn signal={v <- s; return (case v of Invalid s => <xml><b>{[s]}</b></xml> | _ => <xml/>)}/></xml> fun warningFmt [a ::: Type] [ctx ::: {Unit}] [ctx ~ body] (wrap : string -> xml (body ++ ctx) [] []) (s : signal (readiness a)) = <xml><dyn signal={v <- s; return (case v of Invalid s => wrap s | _ => <xml/>)}/></xml>