[svn] r5839: nemerle/trunk/ncc/typing/MType.n

[nazgul]

Log:
Allow null for type variables with constraints

Author: nazgul
Date: Sat Oct 22 22:02:15 2005
New Revision: 5839

Modified:
   nemerle/trunk/ncc/typing/MType.n

Modified: nemerle/trunk/ncc/typing/MType.n
==============================================================================
--- nemerle/trunk/ncc/typing/MType.n	(original)
+++ nemerle/trunk/ncc/typing/MType.n	Sat Oct 22 22:02:15 2005
@@ -438,7 +438,12 @@
           
           | TyVarRef (s) =>
             s.SpecialConstraints %&& 
-            System.Reflection.GenericParameterAttributes.ReferenceTypeConstraint
+            System.Reflection.GenericParameterAttributes.ReferenceTypeConstraint ||
+            found: {
+              foreach (ctr in s.Constraints)
+                when (ctr.CanBeNull) found (true);
+              false
+            }
           
           | Fun
           | Array