[Nice-commit] Nice/src/mlsub/typing Polytype.java,1.16,1.17

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

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

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


Index: Polytype.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/Polytype.java,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** Polytype.java	1 Mar 2003 00:58:28 -0000	1.16
--- Polytype.java	24 Jul 2003 15:05:54 -0000	1.17
***************
*** 113,117 ****
    {
      // Optimization
!     if(!Constraint.hasBinders(constraint))
        return;
      
--- 113,117 ----
    {
      // Optimization
!     if (isMonomorphic())
        return;
      
***************
*** 257,261 ****
    public void simplify()
    {
!     if (!Constraint.hasBinders(constraint) || simplified)
        return;
  
--- 257,261 ----
    public void simplify()
    {
!     if (isMonomorphic() || simplified || Polytype.noSimplify)
        return;
  
***************
*** 331,334 ****
  
    private Constraint constraint;
!   private Monotype monotype;  
  }
--- 331,336 ----
  
    private Constraint constraint;
!   private Monotype monotype;
! 
!   public static boolean noSimplify;
  }