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 | 9a047b4f248ace0615eaf18ba130e14e49634723 (patch) | |
| tree | 441d0b6c96635a1106ffb0ea61f263d32287a1ca /tests | |
| parent | 13eb7555000c10b0c54e11364c42e0da75b98ca7 (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> |