[svn] r7085: nemerle/trunk/ncc: hierarchy/TypeBuilder.n testsuite/positive/names-lookup.n

[malekith]

Log:
Allow empty typarms even if the parent class had some typarms -- for static proxies. Resolves #712.

Author: malekith
Date: Wed Dec 13 12:42:02 2006
New Revision: 7085

Modified:
   nemerle/trunk/ncc/hierarchy/TypeBuilder.n
   nemerle/trunk/ncc/testsuite/positive/names-lookup.n

Modified: nemerle/trunk/ncc/hierarchy/TypeBuilder.n
==============================================================================
--- nemerle/trunk/ncc/hierarchy/TypeBuilder.n	(original)
+++ nemerle/trunk/ncc/hierarchy/TypeBuilder.n	Wed Dec 13 12:42:02 2006
@@ -1068,7 +1068,7 @@
       };
 
     def nested_tyvars_subst =
-      if (enclosing_type == null || enclosing_type.typarms is []) null
+      if (enclosing_type == null || enclosing_type.typarms is [] || typarms is []) null
       else {
         def sub = Subst (Manager);
         def par_typarms = enclosing_type.typarms;

Modified: nemerle/trunk/ncc/testsuite/positive/names-lookup.n
==============================================================================
--- nemerle/trunk/ncc/testsuite/positive/names-lookup.n	(original)
+++ nemerle/trunk/ncc/testsuite/positive/names-lookup.n	Wed Dec 13 12:42:02 2006
@@ -251,6 +251,16 @@
     }
 }
 
+namespace Bug712c {
+    public class A [T]
+    {
+        public M () : void
+        {
+            _ = object.ReferenceEquals;
+        }
+    }
+}
+
 /*
 REFERENCE: names-lookup-lib.dll