From f298db67c58c3ecba7a8bd8bfc91d33e9be30952 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 28 Apr 2012 11:35:12 -0400 Subject: Fix urlification of recursive polymorphic variants --- tests/urlifyVariant.ur | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/urlifyVariant.ur (limited to 'tests/urlifyVariant.ur') diff --git a/tests/urlifyVariant.ur b/tests/urlifyVariant.ur new file mode 100644 index 00000000..aba162d3 --- /dev/null +++ b/tests/urlifyVariant.ur @@ -0,0 +1,5 @@ +datatype t = T of variant [A = t] + +fun main (x : t) : transaction page = return + Go + -- cgit v1.2.3