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 | 4f82b8197a0e0b520882c0173f321bd948fc7b50 (patch) | |
| tree | e31ecf97ee6f1ea13fec2933c85e987d660e0871 /tests/aborter.ur | |
| parent | d27809108ef5ce4ed389cd39562e0dabb4a38c75 (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>) |