[Nice-commit] Nice/src/mlsub/typing Polytype.java,1.15,1.16 Monotype.java,1.8,1.9

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

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

Modified Files:
	Polytype.java Monotype.java 
Log Message:
Computed expected bytecode type for actual arguments of 
polymorphic methods.


Index: Polytype.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/Polytype.java,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** Polytype.java	5 Dec 2002 12:53:37 -0000	1.15
--- Polytype.java	1 Mar 2003 00:58:28 -0000	1.16
***************
*** 250,253 ****
--- 250,258 ----
    private boolean simplified = true;
    
+   public void setNotSimplified()
+   {
+     simplified = false;
+   }
+ 
    public void simplify()
    {

Index: Monotype.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/Monotype.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** Monotype.java	7 Oct 2002 12:34:46 -0000	1.8
--- Monotype.java	1 Mar 2003 00:58:28 -0000	1.9
***************
*** 105,108 ****
--- 105,117 ----
    }
  
+   /**
+      If this monotype is functional, return its domain.
+      Otherwise return null.
+   */
+   public Monotype[] domain()
+   {
+     return null;
+   }
+ 
    /****************************************************************
     * Simplification