Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1:/tmp/cvs-serv9760/src/mlsub/typing/lowlevel
Modified Files:
K0.java
Log Message:
When a constraint implies by minimality that a rigid element is below
another rigid element, fail fast, instead of modifying destructively
the rigid constraint.
Index: K0.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/K0.java,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** K0.java 5 Apr 2003 11:13:18 -0000 1.15
--- K0.java 5 May 2003 16:39:44 -0000 1.16
***************
*** 871,874 ****
--- 871,877 ----
}
if (x != y && !C.get(y, x)) {
+ // If x is a rigid variable, this is a clash.
+ if (x < m0)
+ throw new LowlevelRigidClash(indexToString(x), indexToString(y));
// set y < x
C.set(y, x);
|
