summaryrefslogtreecommitdiff
path: root/tests/urlifyVariant.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/urlifyVariant.ur')
-rw-r--r--tests/urlifyVariant.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/urlifyVariant.ur b/tests/urlifyVariant.ur
new file mode 100644
index 0000000..aba162d
--- /dev/null
+++ b/tests/urlifyVariant.ur
@@ -0,0 +1,5 @@
+datatype t = T of variant [A = t]
+
+fun main (x : t) : transaction page = return <xml><body>
+ <a link={main x}>Go</a>
+</body></xml>