[Nice-commit] Nice/src/mlsub/typing Typing.java,1.32,1.33

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

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