From 56bb940f305fb3d32cc218a6dbc8fa1b1fd7ef89 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 7 Oct 2019 16:47:39 -0400 Subject: Update urlification of unit values for RPC results, to track a previous change elsewhere --- tests/rpc_unit.ur | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/rpc_unit.ur (limited to 'tests') 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 +