summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 15:59:21 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 15:59:21 -0500
commit5a6ced2cb8eb45b392c72988a834323a61a147a1 (patch)
treef6aeb73b5d2ae01ccd7b732ed8c991fc269665e9 /tests
parent10dea359cb906fc9f87c64eb11e0d74c7fe99702 (diff)
Better error messages about non-SQL-izability of types
Diffstat (limited to 'tests')
-rw-r--r--tests/cantSql.ur3
-rw-r--r--tests/cantSql.urp3
2 files changed, 6 insertions, 0 deletions
diff --git a/tests/cantSql.ur b/tests/cantSql.ur
new file mode 100644
index 00000000..026fcaa4
--- /dev/null
+++ b/tests/cantSql.ur
@@ -0,0 +1,3 @@
+datatype foo = Bar of int
+
+table bad : { A : foo, B : { X : float } }
diff --git a/tests/cantSql.urp b/tests/cantSql.urp
new file mode 100644
index 00000000..b1809f0f
--- /dev/null
+++ b/tests/cantSql.urp
@@ -0,0 +1,3 @@
+database dbname=test
+
+cantSql