diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-24 16:47:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-24 16:47:18 -0400 |
| commit | 6dbd6e0786f8ab1b5b35883dca6695cf58272b5b (patch) | |
| tree | e31ecf97ee6f1ea13fec2933c85e987d660e0871 /tests/aborter.ur | |
| parent | bb640a6174757adb8693d25c831728699e23d68b (diff) | |
Transactions seem to be working
Diffstat (limited to 'tests/aborter.ur')
| -rw-r--r-- | tests/aborter.ur | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/aborter.ur b/tests/aborter.ur new file mode 100644 index 00000000..0921bdfc --- /dev/null +++ b/tests/aborter.ur @@ -0,0 +1,5 @@ +table t : {A : int} + +fun main () : transaction page = + () <- dml (INSERT INTO t (A) VALUES (0)); + return (error <xml>No way, Jose!</xml>) |