From 82e0f83b9af579778f1a81daeedc8affaa81ac46 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 14 Nov 2011 09:15:10 -0500 Subject: Better error messages about server-side use of client-side functions --- tests/sidecheckGood.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/sidecheckGood.ur (limited to 'tests/sidecheckGood.ur') diff --git a/tests/sidecheckGood.ur b/tests/sidecheckGood.ur new file mode 100644 index 00000000..01a8c3d1 --- /dev/null +++ b/tests/sidecheckGood.ur @@ -0,0 +1,6 @@ +fun main () : transaction page = + s <- source 0; + set s 42; + return + + -- cgit v1.2.3