[Nice-commit] Nice/src/bossa/util Debug.java,1.16,1.17

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

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

Modified Files:
	Debug.java 
Log Message:
Allow to easily disable polytype simplification for debuging purposes.


Index: Debug.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/util/Debug.java,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** Debug.java	30 Oct 2001 15:38:24 -0000	1.16
--- Debug.java	24 Jul 2003 15:05:54 -0000	1.17
***************
*** 97,100 ****
--- 97,101 ----
      mlsub.typing.Typing.dbg = Debug.typing;
      mlsub.typing.Enumeration.linkDbg = Debug.linkTests;
+     mlsub.typing.Polytype.noSimplify = getBoolean("debug.noSimplify", false);
    }