From 2b815d1173c0b7a63d43b5503e64cb6c76a03a4c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 24 Nov 2011 11:41:52 -0500 Subject: Catch more events --- tests/ccheckbox.ur | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/ccheckbox.ur (limited to 'tests/ccheckbox.ur') diff --git a/tests/ccheckbox.ur b/tests/ccheckbox.ur new file mode 100644 index 00000000..09a8ece9 --- /dev/null +++ b/tests/ccheckbox.ur @@ -0,0 +1,8 @@ +fun main () : transaction page = + s <- source True; + t <- source 1; + return + {[s]} {[t]}}/> + -- cgit v1.2.3