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;
|
