[Nice-commit] Nice/src/mlsub/typing/lowlevel LowlevelUnsatisfiable.java,1.2,1.3
Brought to you by:
bonniot
|
From: Daniel B. <bo...@us...> - 2005-05-25 23:23:05
|
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; |