summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:44:12 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:44:12 -0500
commit8e0703aba307782b43ed591acbb7c574859a22c3 (patch)
tree683cd859883db5175662045e278f0b10056e587a /tests
parent69e08bd046195515eed94d425ebd4cf549d5a549 (diff)
Fix catalog querying about empty tables
Diffstat (limited to 'tests')
-rw-r--r--tests/emptyTable.ur1
-rw-r--r--tests/emptyTable.urp4
2 files changed, 5 insertions, 0 deletions
diff --git a/tests/emptyTable.ur b/tests/emptyTable.ur
new file mode 100644
index 00000000..d9469be4
--- /dev/null
+++ b/tests/emptyTable.ur
@@ -0,0 +1 @@
+table tricky : {}
diff --git a/tests/emptyTable.urp b/tests/emptyTable.urp
new file mode 100644
index 00000000..c8a7ca25
--- /dev/null
+++ b/tests/emptyTable.urp
@@ -0,0 +1,4 @@
+database dbname=test
+sql emptyTable.sql
+
+emptyTable