Nice/src/bossa/syntax MethodBodyDefinition.java,1.141,1.142

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

Modified Files:
        MethodBodyDefinition.java 
Log Message:
Report an error when a method implementation binds type parameters that are
not in the method declaration.


Index: MethodBodyDefinition.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/MethodBodyDefinition.java,v
retrieving revision 1.141
retrieving revision 1.142
diff -C2 -d -r1.141 -r1.142
*** MethodBodyDefinition.java   11 Sep 2003 20:50:27 -0000      1.141
--- MethodBodyDefinition.java   11 Sep 2003 21:07:01 -0000      1.142
***************
*** 303,318 ****
      // Get type parameters
      if (binders != null)
!     try{
!       typeScope.addMappingsLS
!       (binders,
!        declaration.getType().getConstraint().binders());
!     }
!     catch(mlsub.typing.BadSizeEx e){
!       User.error(name, "Method " + name + 
!                " expects " + e.expected + " type parameters");
!     }
!     catch(TypeScope.DuplicateName e) {
!       User.error(this, e);
!     }
  
      try{
--- 303,322 ----
      // Get type parameters
      if (binders != null)
!       {
!         Constraint cst = declaration.getType().getConstraint();
!         if (! Constraint.hasBinders(cst))
!           User.error(name, "Method " + name + " has no type parameters");
! 
!         try{
!           typeScope.addMappingsLS(binders, cst.binders());
!         }
!         catch(mlsub.typing.BadSizeEx e){
!           User.error(name, "Method " + name + 
!                      " expects " + e.expected + " type parameters");
!         }
!         catch(TypeScope.DuplicateName e) {
!           User.error(this, e);
!         }
!       }
  
      try{




-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf