From a9d63c44fad31322477b51c11655adfb7002712e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 9 Apr 2011 14:36:47 -0400 Subject: Each context gets its own non-repeating sequence of source numbers --- tests/rs.ur | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/rs.ur (limited to 'tests/rs.ur') diff --git a/tests/rs.ur b/tests/rs.ur new file mode 100644 index 00000000..ae5ff85f --- /dev/null +++ b/tests/rs.ur @@ -0,0 +1,15 @@ +fun bobo () = + n1 <- source 0; + n2 <- source 1; + return + {[n1 + n2]}}/> +