Update of /cvsroot/nice/Nice/src/mlsub/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv28747/src/mlsub/typing
Modified Files:
Typing.java
Log Message:
Allow specialization on parameters of type Object.
Index: Typing.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/Typing.java,v
retrieving revision 1.32
retrieving revision 1.33
diff -C2 -d -r1.32 -r1.33
*** Typing.java 8 Oct 2003 22:30:11 -0000 1.32
--- Typing.java 15 Jan 2004 12:09:53 -0000 1.33
***************
*** 194,197 ****
--- 194,201 ----
return;
+ if (isTop(m))
+ // Trivially true.
+ return;
+
AtomicKind v = t.variance;
if(v == null)
***************
*** 585,588 ****
--- 589,601 ----
}
+ /****************************************************************
+ * Tools
+ ****************************************************************/
+
+ static boolean isTop(Monotype m)
+ {
+ return m.getKind() == TopMonotype.TopKind.instance;
+ }
+
public static boolean dbg;
}
|
