From f5449b93792afc81e4da70d2a790ef7a2d2b49d5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Dec 2009 14:20:41 -0500
Subject: Initializers and setval

---
 tests/init.ur | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/init.ur

(limited to 'tests/init.ur')

diff --git a/tests/init.ur b/tests/init.ur
new file mode 100644
index 00000000..0a44a9e4
--- /dev/null
+++ b/tests/init.ur
@@ -0,0 +1,6 @@
+sequence seq
+table fred : {A : int, B : int}
+
+initializer
+    setval seq 1;
+    dml (INSERT INTO fred (A, B) VALUES (0, 1))
-- 
cgit v1.2.3