[Nice-commit] Nice/testsuite/compiler/methods coverage.testsuite,NONE,1.1

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

Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1:/tmp/cvs-serv27986/testsuite/compiler/methods

Added Files:
	coverage.testsuite 
Log Message:
Revert mlsub.typing.{BitVector,Domain} to their previous version, as the
change provoked a bug during the coverage test for methods on abstract 
interfaces.


--- NEW FILE: coverage.testsuite ---
/// FAIL
  /// Toplevel
class B implements nice.lang.Comparable {
 // `<` not implemented  
}

/// FAIL
  /// Toplevel
abstract interface I {
  boolean fooI(alike);
}

class nice.lang.boolean implements I;
fooI(b1@boolean, b2@boolean) = b1;

class A implements I {
 // `fooI` not implemented  
}

/// FAIL
  /// Toplevel
abstract interface I {
  boolean fooI(String);
}

class A implements I {
  fooI(x) = false;
}

class B implements I {
 // `fooI` not implemented  
}