[Nice-commit] Nice/src/bossa/syntax PrimitiveType.java,1.6,1.7

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

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1:/tmp/cvs-serv11194/src/bossa/syntax

Modified Files:
	PrimitiveType.java 
Log Message:
The non-null marker '!' is smaller than any nullness marker.


Index: PrimitiveType.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/PrimitiveType.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** PrimitiveType.java	28 May 2003 12:57:26 -0000	1.6
--- PrimitiveType.java	31 Aug 2003 00:32:56 -0000	1.7
***************
*** 134,138 ****
        {
  	maybeTC = tc;
! 	mlsub.typing.NullnessKind.initialize(tc);
  	// to differ with the null result, which signals error
  	return gnu.bytecode.Type.pointer_type;
--- 134,138 ----
        {
  	maybeTC = tc;
! 	mlsub.typing.NullnessKind.setMaybe(tc);
  	// to differ with the null result, which signals error
  	return gnu.bytecode.Type.pointer_type;
***************
*** 142,145 ****
--- 142,146 ----
        {
  	sureTC = tc;
+ 	mlsub.typing.NullnessKind.setSure(tc);
  	// to differ with the null result, which signals error
  	return gnu.bytecode.Type.pointer_type;