Nice/src/mlsub/typing/lowlevel LowlevelUnsatisfiable.java,1.2,1.3

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;



-------------------------------------------------------
SF.Net email is sponsored by: GoToMeeting - the easiest way to collaborate
online with coworkers and clients while avoiding the high cost of travel and
communications. There is no equipment to buy and you can meet as often as
you want. Try it free.http://ads.osdn.com/?ad_id=7402&alloc_id=16135&op=click