From be73a31fb83c7da398322f6e92e94a7297212b7c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 30 Dec 2008 15:53:04 -0500 Subject: Propagated a source change into a dynamic document element --- tests/reactive3.ur | 7 +++++++ tests/reactive3.urp | 3 +++ 2 files changed, 10 insertions(+) create mode 100644 tests/reactive3.ur create mode 100644 tests/reactive3.urp (limited to 'tests') diff --git a/tests/reactive3.ur b/tests/reactive3.ur new file mode 100644 index 00000000..c12455c5 --- /dev/null +++ b/tests/reactive3.ur @@ -0,0 +1,7 @@ +fun main () : transaction page = + x <- source TEST; + return + +
+ CHANGEUP}>Oh My + diff --git a/tests/reactive3.urp b/tests/reactive3.urp new file mode 100644 index 00000000..8a95bc84 --- /dev/null +++ b/tests/reactive3.urp @@ -0,0 +1,3 @@ +debug + +reactive3 -- cgit v1.2.3