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