[svn] r5922: nemerle/trunk/ncc: testsuite/positive/infer.n typing/Typer.n

[malekith]

Log:
Allow member access on function values. Resolves #556.

Author: malekith
Date: Wed Nov  9 15:40:04 2005
New Revision: 5922

Modified:
   nemerle/trunk/ncc/testsuite/positive/infer.n
   nemerle/trunk/ncc/typing/Typer.n

Modified: nemerle/trunk/ncc/testsuite/positive/infer.n
==============================================================================
--- nemerle/trunk/ncc/testsuite/positive/infer.n	(original)
+++ nemerle/trunk/ncc/testsuite/positive/infer.n	Wed Nov  9 15:40:04 2005
@@ -130,3 +130,14 @@
     }
 }
 
+class xxxTest
+{
+        public static Check ['a, 'b] (f : 'a -> 'b) : void
+        {
+            def _count =
+               if (f.GetType().BaseType.IsGenericType)
+                 f.GetType ().BaseType.GetGenericTypeDefinition().GetGenericArguments().Length;
+               else 0;
+                
+        }
+}

Modified: nemerle/trunk/ncc/typing/Typer.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer.n	(original)
+++ nemerle/trunk/ncc/typing/Typer.n	Wed Nov  9 15:40:04 2005
@@ -1198,7 +1198,7 @@
                   else
                     TypeExpr (obj);
                   
-                if (IsError (obj) || IsFunctional (obj))
+                if (IsError (obj) && IsFunctional (obj))
                   TypeName (expression, expected)
                 else
                   TypeMemberExpr (obj, mem_name, expected)