From 79655cfc46cd36b6c52038cacb33ea5d5adac0fe 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