* interp/nrunfast.boot (resolveNiladicConstructors): New.

	(newHasTest): Use it to handle signature export test.
	* testsuite/interpreter/has.input: New.

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