diff forms.ur @ 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 diff
--- 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>