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/sidecheck.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/sidecheck.ur (limited to 'tests/sidecheck.ur') diff --git a/tests/sidecheck.ur b/tests/sidecheck.ur new file mode 100644 index 00000000..e21a0041 --- /dev/null +++ b/tests/sidecheck.ur @@ -0,0 +1,6 @@ +fun main () : transaction page = + s <- source 0; + n <- get s; + set s (n + 1); + n' <- get s; + return {[n']} -- cgit v1.2.3