Mercurial > gui
view forms.urs @ 9:1e04008eaef7
Add version of warning with a format wrapper.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Tue, 21 Jun 2011 17:32:36 -0430 |
parents | 4d8165e8f89a |
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 val warning : a ::: Type -> signal (readiness a) -> xbody val warningFmt : a ::: Type -> ctx ::: {Unit} -> [ctx ~ body] => (string -> xml (ctx ++ body) [] []) -> signal (readiness a) -> xml (ctx ++ body) [] [] (* A version of warning that adds a chrome wrapper to the warning message. *)