[Nice-commit] Nice/src/mlsub/typing Polytype.java,1.15,1.16 Monotype.java,1.8,1.9
Brought to you by:
bonniot
|
From: <bo...@us...> - 2003-03-01 00:58:31
|
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
|