aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-11-18 18:03:21 +0000
committerdos-reis <gdr@axiomatics.org>2008-11-18 18:03:21 +0000
commite8fa0a31f5e1ec2f3269cd2cd5cd18a78fd60a4a (patch)
tree0cc962f9987ca386384cf131e2f49bdc8a0e4d18 /src/testsuite/interpreter
parent8af9359051b3b2493ef3b9d06b8fe26f2a645a06 (diff)
downloadopen-axiom-e8fa0a31f5e1ec2f3269cd2cd5cd18a78fd60a4a.tar.gz
* interp/nrunfast.boot (resolveNiladicConstructors): New.
(newHasTest): Use it to handle signature export test. * testsuite/interpreter/has.input: New.
Diffstat (limited to 'src/testsuite/interpreter')
-rw-r--r--src/testsuite/interpreter/has.input18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/has.input b/src/testsuite/interpreter/has.input
new file mode 100644
index 00000000..7eb29272
--- /dev/null
+++ b/src/testsuite/interpreter/has.input
@@ -0,0 +1,18 @@
+-- Test for `T has sig'
+--
+
+-- expected: true
+Integer has random: Integer -> Integer
+
+-- expected: false
+Float has random: Float -> Float
+
+-- expected: true
+Boolean has true: Boolean
+
+
+-- expected: true
+Boolean has false: Boolean
+
+-- expected: false
+Boolean has fals: Boolean