aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'src/testsuite')
-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