summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-10-07 16:47:39 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-10-07 16:47:39 -0400
commit56bb940f305fb3d32cc218a6dbc8fa1b1fd7ef89 (patch)
treeb47f6daf74d0ebb7abdda4b78514527613ba21ae /tests
parent39bfe4b44542852a656a3793d1f245bf31503b49 (diff)
Update urlification of unit values for RPC results, to track a previous change elsewhere
Diffstat (limited to 'tests')
-rw-r--r--tests/rpc_unit.ur8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/rpc_unit.ur b/tests/rpc_unit.ur
new file mode 100644
index 00000000..befd6045
--- /dev/null
+++ b/tests/rpc_unit.ur
@@ -0,0 +1,8 @@
+val callme = return ((), (), "A", (), ())
+
+val main : transaction page = return <xml><body>
+ <button value="CLICK ME"
+ onclick={fn _ =>
+ (_, _, s, _, _) <- rpc callme;
+ alert s}/>
+</body></xml>