--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/forms.ur	Thu Jan 06 16:45:47 2011 -0500
@@ -0,0 +1,8 @@
+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>