Mercurial > gui
view forms.urs @ 24:d314d2ec3300
Be able to obtain the name from a navItem
author | Ron de Bruijn <rmbruijn@gmail.com> |
---|---|
date | Sun, 04 Dec 2011 16:45:31 +0100 |
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 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. *)