[Nice-commit] Nice/src/mlsub/typing/lowlevel LowlevelUnsatisfiable.java,1.2,1.3

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

Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2569/src/mlsub/typing/lowlevel

Modified Files:
	LowlevelUnsatisfiable.java 
Log Message:
Fix subtyping of wildcards. Should be safe, but overrestrictive, since
a wildcard is now not a subtype of itself.


Index: LowlevelUnsatisfiable.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/LowlevelUnsatisfiable.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** LowlevelUnsatisfiable.java	29 Mar 2005 15:33:03 -0000	1.2
--- LowlevelUnsatisfiable.java	25 May 2005 23:22:57 -0000	1.3
***************
*** 7,11 ****
  public class LowlevelUnsatisfiable extends Unsatisfiable 
  {
!   LowlevelUnsatisfiable(String msg)
    {
      super(msg);
--- 7,11 ----
  public class LowlevelUnsatisfiable extends Unsatisfiable 
  {
!   public LowlevelUnsatisfiable(String msg)
    {
      super(msg);
***************
*** 17,21 ****
    }
    
!   static LowlevelUnsatisfiable instance = new LowlevelUnsatisfiable();
  
    static boolean refinedReports = true;
--- 17,21 ----
    }
    
!   public static LowlevelUnsatisfiable instance = new LowlevelUnsatisfiable();
  
    static boolean refinedReports = true;