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 | |
parent | d27809108ef5ce4ed389cd39562e0dabb4a38c75 (diff) |
Transactions seem to be working
Diffstat (limited to 'tests')
-rw-r--r-- | tests/aborter.sql | 3 | ||||
-rw-r--r-- | tests/aborter.ur | 5 | ||||
-rw-r--r-- | tests/aborter.urp | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/tests/aborter.sql b/tests/aborter.sql new file mode 100644 index 00000000..ab6110fc --- /dev/null +++ b/tests/aborter.sql @@ -0,0 +1,3 @@ +CREATE TABLE uw_Aborter_t(uw_a int8 NOT NULL); + +
\ No newline at end of file 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>) diff --git a/tests/aborter.urp b/tests/aborter.urp new file mode 100644 index 00000000..fc1925ae --- /dev/null +++ b/tests/aborter.urp @@ -0,0 +1,4 @@ +database dbname=aborter +sql aborter.sql + +aborter |