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

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

3 files changed, 46 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 53ea2f32..f9328308 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/nrunfast.boot (resolveNiladicConstructors): New.
+	(newHasTest): Use it to handle signature export test.
+	* testsuite/interpreter/has.input: New.
+
 2008-11-17  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/lisplib.boot (compDefineExports): Now take operation
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot
index 2f419f37..b7ee04da 100644
--- a/src/interp/nrunfast.boot
+++ b/src/interp/nrunfast.boot
@@ -591,6 +591,19 @@ lazyDomainSet(lazyForm,thisDomain,slot) ==
   name := CAR form
   setShellEntry(thisDomain,slot,slotDomain)
  
+
+++ `type' is a type form constructed by the new parser.
+++ Return a type form where all niladic constructors are
+++ resolved to constructor calls.  Note: it is assumed that no
+++ such resolution has already occured.
+resolveNiladicConstructors type ==
+  atom type => 
+    IDENTP type and niladicConstructorFromDB type => [type]
+    type
+  for args in tails rest type repeat
+    rplac(first args, resolveNiladicConstructors first args)
+  type
+
 --=======================================================
 --                   HasCategory/Attribute
 --=======================================================
@@ -637,6 +650,15 @@ newHasTest(domform,catOrAtt) ==
   null isAtom and constructor? op  =>
     domain := eval mkEvalable domform
     newHasCategory(domain,catOrAtt)
+  catOrAtt is [":",op,type] =>
+    sig := 
+      type is ["Mapping",:sig'] =>
+         for ts in tails sig' repeat
+           rplac(first ts, resolveNiladicConstructors first ts)
+         sig'
+      -- a constant; make it look like op: () -> type
+      [resolveNiladicConstructors type]
+    HasSignature(evalDomain domform, [op,sig])
   newHasAttribute(eval mkEvalable domform,catOrAtt)
  
 lazyMatchAssocV(x,auxvec,catvec,domain) ==      --new style slot4
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