From cd28ea2ee01ac023b7b1dfac39ae5ddf4ded5c4e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Sep 2011 12:51:05 -0400 Subject: An abstract type of IDs --- tests/nextid.ur | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/nextid.ur (limited to 'tests/nextid.ur') diff --git a/tests/nextid.ur b/tests/nextid.ur new file mode 100644 index 00000000..8120ef0b --- /dev/null +++ b/tests/nextid.ur @@ -0,0 +1,11 @@ +fun main () : transaction page = + id1 <- fresh; + id2 <- fresh; + id3 <- fresh; + idS <- source id3; + return + Hi there!

+ Whoa-hoa!}/> +