# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1308693756 16200
# Node ID 1e04008eaef73dd0b724559bb0eb5e299dea327c
# Parent  90be8b8917d52af85b7f4f35548f6d0cbcd1f9c5
Add version of warning with a format wrapper.

diff -r 90be8b8917d5 -r 1e04008eaef7 forms.ur
--- a/forms.ur	Fri Jun 17 10:12:05 2011 -0430
+++ b/forms.ur	Tue Jun 21 17:32:36 2011 -0430
@@ -6,3 +6,11 @@
                       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>
diff -r 90be8b8917d5 -r 1e04008eaef7 forms.urs
--- a/forms.urs	Fri Jun 17 10:12:05 2011 -0430
+++ b/forms.urs	Tue Jun 21 17:32:36 2011 -0430
@@ -2,3 +2,8 @@
 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. *)