[Nice-commit] Nice/src/mlsub/typing/lowlevel K0.java,1.15,1.16

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

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);