[Nice-commit] Nice/src/bossa/syntax MethodBodyDefinition.java,1.139,1.140

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

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

Modified Files:
	MethodBodyDefinition.java 
Log Message:
Method parameters that are not dispatched on get their declared type.
This avoids some type errors, and simplifies error messages.


Index: MethodBodyDefinition.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/MethodBodyDefinition.java,v
retrieving revision 1.139
retrieving revision 1.140
diff -C2 -d -r1.139 -r1.140
*** MethodBodyDefinition.java	26 Aug 2003 16:07:58 -0000	1.139
--- MethodBodyDefinition.java	29 Aug 2003 16:08:11 -0000	1.140
***************
*** 105,109 ****
  	Monotype type;
  
! 	if (p.getRuntimeTC() != null)
  	  {
  	    AtomicKind v = p.tc.variance;
--- 105,115 ----
  	Monotype type;
  
!         if (p.atAny())
!           {
!             // When a parameter is not dispatched on, it has the declared type
!             // of that parameter in the method declaration.
!             type = types[tn];
!           }
!         else if (p.getRuntimeTC() != null)
  	  {
  	    AtomicKind v = p.tc.variance;