[Nice-commit] Nice/src/mlsub/typing NullnessKind.java,1.6,1.7

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

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

Modified Files:
	NullnessKind.java 
Log Message:
Allow the unknown type to be smaller as another type, as long as that one
can be made unknown too.


Index: NullnessKind.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/NullnessKind.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** NullnessKind.java	27 May 2005 13:59:47 -0000	1.6
--- NullnessKind.java	31 May 2005 07:32:50 -0000	1.7
***************
*** 96,100 ****
      Monotype m2 = (Monotype) e2;
  
!     if (m1.isUnknown() || m2.isUnknown())
        throw LowlevelUnsatisfiable.instance;
  
--- 96,106 ----
      Monotype m2 = (Monotype) e2;
  
!     if (m1.isUnknown())
!       {
!         m2.setUnknown();
!         return;
!       }
! 
!     if (m2.isUnknown())
        throw LowlevelUnsatisfiable.instance;