From 6ee57363d23e05fd783d8b7d151a249c0efdcd23 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Jul 2012 11:59:41 -0400 Subject: Basis.giveFocus --- tests/focus.ur | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 tests/focus.ur (limited to 'tests/focus.ur') diff --git a/tests/focus.ur b/tests/focus.ur new file mode 100644 index 00000000..9d1f5b8c --- /dev/null +++ b/tests/focus.ur @@ -0,0 +1,14 @@ +fun main () : transaction page = + id1 <- fresh; + id2 <- fresh; + s1 <- source ""; + s2 <- source ""; + which <- source False; + + return + + +