[Nice-commit] Nice/src/bossa/syntax MethodBodyDefinition.java,1.121,1.122

[<ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1:/tmp/cvs-serv5875/F:/nice/src/bossa/syntax

Modified Files:
	MethodBodyDefinition.java 
Log Message:
Fix the replacement of @type with @any patterns, it should only happen in case of a notnull domain.

Index: MethodBodyDefinition.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/MethodBodyDefinition.java,v
retrieving revision 1.121
retrieving revision 1.122
diff -C2 -d -r1.121 -r1.122
*** MethodBodyDefinition.java	30 Apr 2003 11:30:52 -0000	1.121
--- MethodBodyDefinition.java	24 May 2003 14:16:53 -0000	1.122
***************
*** 400,404 ****
  	  TypeConstructor tc = Types.rawType(domain[n]).head();
  	  if (tc != null && formals[n].tc != null)
! 	    formals[n].setDomainEq(Typing.testRigidLeq(tc, formals[n].tc));
  
          }
--- 400,404 ----
  	  TypeConstructor tc = Types.rawType(domain[n]).head();
  	  if (tc != null && formals[n].tc != null)
! 	    formals[n].setDomainEq(Types.isSure(domain[n]) && Typing.testRigidLeq(tc, formals[n].tc));
  
          }