# HG changeset patch # User Adam Chlipala # Date 1230671489 18000 # Node ID e955d50c389d36bfa064085d901c7bb347121d5d # Parent bb8463c3b7122f9b7986f6018612dc9dcc20d621 Double-bind works diff -r bb8463c3b712 -r e955d50c389d tests/reactive5.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/reactive5.ur Tue Dec 30 16:11:29 2008 -0500 @@ -0,0 +1,9 @@ +fun main () : transaction page = + x <- source A; + y <- source B; + return + {x}, {y}}/> +
+ C}>Change x
+ D}>Change y
+ diff -r bb8463c3b712 -r e955d50c389d tests/reactive5.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/reactive5.urp Tue Dec 30 16:11:29 2008 -0500 @@ -0,0 +1,3 @@ +debug + +reactive5