1 files changed, 16 insertions, 0 deletions
diff --git a/tests/unurlify2.ur b/tests/unurlify2.ur
new file mode 100644
index 00000000..2e82928d
--- /dev/null
+++ b/tests/unurlify2.ur
@@ -0,0 +1,16 @@
+datatype bugged = Nothing | Something of int
+datatype myDt = One | Two
+type myRecord = {Bugged: bugged
+               , MyDt : myDt}
+
+fun rpcTarget (t: myRecord) = return ()
+
+val good = {Bugged = Something 4, MyDt = One}
+val bad = {Bugged = Nothing, MyDt = One}
+
+fun main () : transaction page = return <xml>
+  <body>
+    <button onclick={fn _ => rpc (rpcTarget good)}>rpc with good</button>
+    <button onclick={fn _ => rpc (rpcTarget bad)}>rpc with bad</button>
+  </body>
+</xml>