From 8ac6c0fe4425753c64fa0ef0a129d33eef36cb5c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Jul 2012 13:55:35 -0400 Subject: --- tests/active.ur | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 tests/active.ur (limited to 'tests/active.ur') diff --git a/tests/active.ur b/tests/active.ur new file mode 100644 index 00000000..e5fa68db --- /dev/null +++ b/tests/active.ur @@ -0,0 +1,14 @@ +fun counter' () = + s <- source 0; + return + +