diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-19 10:26:19 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-19 10:26:19 -0500 |
commit | d50d1d215bf5777e29cc1ba3ae20eefad15e2d4a (patch) | |
tree | 441d0b6c96635a1106ffb0ea61f263d32287a1ca /tests | |
parent | 8e0703aba307782b43ed591acbb7c574859a22c3 (diff) |
Better error messages when client-side constructs are detected in Cjrize
Diffstat (limited to 'tests')
-rw-r--r-- | tests/badRpc.ur | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/badRpc.ur b/tests/badRpc.ur new file mode 100644 index 00000000..25104134 --- /dev/null +++ b/tests/badRpc.ur @@ -0,0 +1,5 @@ +fun zero () = return 0 + +fun main () : transaction page = + z <- rpc (zero ()); + return <xml>{[z]}</xml> |