[Nice-commit] Nice/src/bossa/syntax MethodDeclaration.java,1.40,1.41

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

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

Modified Files:
	MethodDeclaration.java 
Log Message:
Typecheck method default values with the method type parameters being rigid
(closes #741560).


Index: MethodDeclaration.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/MethodDeclaration.java,v
retrieving revision 1.40
retrieving revision 1.41
diff -C2 -d -r1.40 -r1.41
*** MethodDeclaration.java	12 May 2003 11:11:44 -0000	1.40
--- MethodDeclaration.java	26 May 2003 20:52:27 -0000	1.41
***************
*** 144,147 ****
--- 144,161 ----
        try{
  	type.getConstraint().enter();
+ 
+         /*
+           We typecheck with rigid type parameters. It means that
+           default values must be valid for any instance of the method type.
+ 
+           Alternatively, it could be decided that it is ok to have default
+           values that satisfy only specific instances. In that case, it would
+           be necessary to do some changes in K0. The difficulty is with
+           overloading: the (now soft) type variables could be modified
+           in an unsuccesful overloading resolution, and that modifications
+           need to be discarded.
+         */
+         mlsub.typing.Typing.implies();
+ 
  	parameters.typecheck(type.domain());
        }