aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-22 03:43:33 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-22 03:43:33 +0000
commita4c3f01ad687e6b8a29db845f725c00b06016f36 (patch)
tree0b8f8377d79151b0db7eb05949ef3e6b8c090b69 /src/testsuite
parent1c8e4a0198566b3b7eb56d257d5f22ea03b3f57b (diff)
downloadopen-axiom-a4c3f01ad687e6b8a29db845f725c00b06016f36.tar.gz
* interp/i-eval.boot (evaluateType0): Check for builtin
constructors. (evaluateType): Likewise. * interp/i-spec2.boot (isType): Reject unsaturated constructors.
Diffstat (limited to 'src/testsuite')
-rw-r--r--src/testsuite/interpreter/ctor.input7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/ctor.input b/src/testsuite/interpreter/ctor.input
new file mode 100644
index 00000000..a0f0f79f
--- /dev/null
+++ b/src/testsuite/interpreter/ctor.input
@@ -0,0 +1,7 @@
+-- Test for builtin constructors at toplevel. They should
+-- not crash the system.
+
+Record
+Union
+Enumeration
+Mapping