summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorMorgan Deters <mdeters@gmail.com>2011-11-16 00:48:42 +0000
committerMorgan Deters <mdeters@gmail.com>2011-11-16 00:48:42 +0000
commitd514291efafeef479b819af3f905f339c85086fb (patch)
tree88f22153a7fa157e0d02c996aaabed387ab5c56b /test
parent78af7dfd469b43c17c3ad582a094068484955037 (diff)
* Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy!
* Also some better configure script wording
Diffstat (limited to 'test')
-rw-r--r--test/regress/regress0/datatypes/Makefile.am3
-rw-r--r--test/regress/regress0/datatypes/bug286.cvc6
2 files changed, 8 insertions, 1 deletions
diff --git a/test/regress/regress0/datatypes/Makefile.am b/test/regress/regress0/datatypes/Makefile.am
index aa9b9ce0b..c4a4e2fdd 100644
--- a/test/regress/regress0/datatypes/Makefile.am
+++ b/test/regress/regress0/datatypes/Makefile.am
@@ -31,7 +31,8 @@ TESTS = \
v1l20009.cvc \
v2l40025.cvc \
v3l60006.cvc \
- v5l30058.cvc
+ v5l30058.cvc \
+ bug286.cvc
EXTRA_DIST = $(TESTS)
diff --git a/test/regress/regress0/datatypes/bug286.cvc b/test/regress/regress0/datatypes/bug286.cvc
new file mode 100644
index 000000000..d9b4d8287
--- /dev/null
+++ b/test/regress/regress0/datatypes/bug286.cvc
@@ -0,0 +1,6 @@
+% EXPECT: invalid
+% EXIT: 10
+DATATYPE foo = f(i:INT) END;
+x : foo;
+y : INT;
+QUERY x = f(y);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback