[Nice-commit] Nice/src/bossa/syntax NiceMethod.java,1.35,1.36

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv26138/src/bossa/syntax

Modified Files:
	NiceMethod.java 
Log Message:
Do not allow overriding involving specialization of type parameters, as this is
unsafe since dispatch does not consider type parameters.


Index: NiceMethod.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/NiceMethod.java,v
retrieving revision 1.35
retrieving revision 1.36
diff -C2 -d -r1.35 -r1.36
*** NiceMethod.java	16 Mar 2004 12:51:03 -0000	1.35
--- NiceMethod.java	17 Mar 2004 00:36:46 -0000	1.36
***************
*** 233,237 ****
  
          // Do we have a smaller domain?
!         if (! (Typing.smaller(ourDomain, itsDomain, true)))
            continue;
  
--- 233,238 ----
  
          // Do we have a smaller domain?
!         if (! (Typing.smaller(ourDomain, itsDomain, true))
!             ||  Types.typeParameterDispatch(getType(), s.getType()))
            continue;