[Nice-commit] Nice/testsuite/compiler/methods constrained.testsuite,1.5,1.6 ambiguity.testsuite,1.2,1.3

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

Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6980/testsuite/compiler/methods

Modified Files:
	constrained.testsuite ambiguity.testsuite 
Log Message:
Take into account nullness when find which method an implementation belongs to.

Always report the precise pattern that prevents an implementation from
belonging to a method, when there is no ambiguity about which method is
concerned.


Index: ambiguity.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/ambiguity.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** ambiguity.testsuite	9 Sep 2004 11:29:29 -0000	1.2
--- ambiguity.testsuite	15 Sep 2004 00:47:31 -0000	1.3
***************
*** 7,11 ****
  f(x@A) {}
  
! /// PASS bug
    assert foo(null);
    /// Toplevel
--- 7,11 ----
  f(x@A) {}
  
! /// PASS
    assert foo(null);
    /// Toplevel

Index: constrained.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/constrained.testsuite,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** constrained.testsuite	11 Sep 2003 21:07:01 -0000	1.5
--- constrained.testsuite	15 Sep 2004 00:47:31 -0000	1.6
***************
*** 66,77 ****
  /// FAIL
    ///Toplevel
!   class A{}                                         
!   class B extends A{}                               
!   interface I<+T | B <: T>{}                        
!   class X<+T | A <: T> implements I<T>{}            
  
!   void foo(I<B>);                                   
!   /*/// FAIL HERE */ foo(@X){} 
!   //@X is not in the domain of foo 
  
  /// FAIL
--- 66,77 ----
  /// FAIL
    ///Toplevel
!   class A {}
!   class B extends A {}
!   interface I<+T | B <: T> {}
!   class X<+T | A <: T> implements I<T> {}
  
!   void foo(I<B>);
!   foo(/*/// FAIL HERE */X x){}
!   // X is not in the domain of foo
  
  /// FAIL