diff tests/reactive.ur @ 574:ac947e2f29ff

Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 74800be65591
children
line wrap: on
line diff
--- a/tests/reactive.ur	Sun Dec 21 12:30:57 2008 -0500
+++ b/tests/reactive.ur	Sun Dec 21 12:56:39 2008 -0500
@@ -1,4 +1,5 @@
 fun main () : transaction page =
-  x <- source ();
-  y <- source ();
-  return <xml><body>Hi!</body></xml>
+  x <- source <xml>TEST</xml>;
+  return <xml><body>
+    <dyn signal={signal x}/>
+  </body></xml>