[Nice-commit] Nice/src/bossa/syntax MethodBodyDefinition.java,1.113,1.114

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

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

Modified Files:
	MethodBodyDefinition.java 
Log Message:
Always check that the patterns of a method implementation are in the domain
of the method.


Index: MethodBodyDefinition.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/MethodBodyDefinition.java,v
retrieving revision 1.113
retrieving revision 1.114
diff -C2 -d -r1.113 -r1.114
*** MethodBodyDefinition.java	4 Mar 2003 16:50:18 -0000	1.113
--- MethodBodyDefinition.java	14 Mar 2003 00:55:26 -0000	1.114
***************
*** 170,176 ****
      if(symbols.size() == 0) return null;
  
-     if(symbols.size() == 1)
-       return (VarSymbol) symbols.get(0);
- 
      TypeConstructor[] tags = Pattern.getTC(formals);
      TypeConstructor[] additionalTags = Pattern.getAdditionalTC(formals);
--- 170,173 ----
***************
*** 226,230 ****
      if(symbols.size()==0)
        User.error(this,
! 		 "No definition of \""+name+"\" is compatible with the patterns");
  
      String methods = "";
--- 223,228 ----
      if(symbols.size()==0)
        User.error(this,
! 		 "No method called " + name + 
! 		 " is compatible with these patterns");
  
      String methods = "";