[svn] r5923: nemerle/trunk/ncc/typing/Typer.n

[malekith]

Log:
Better error messages for unbound members (partially fixes regression from the previous commit).

Author: malekith
Date: Wed Nov  9 15:57:51 2005
New Revision: 5923

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

Modified: nemerle/trunk/ncc/typing/Typer.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer.n	(original)
+++ nemerle/trunk/ncc/typing/Typer.n	Wed Nov  9 15:57:51 2005
@@ -1198,10 +1198,19 @@
                   else
                     TypeExpr (obj);
                   
-                if (IsError (obj) && IsFunctional (obj))
+                if (IsError (obj))
+                  TypeName (expression, expected)
+                else if (IsFunctional (obj)) {
+                  if (messenger.InErrorMode) {
+                    def e = TryTyping (fun () { TypeMemberExpr (obj, mem_name, expected) });
+                    if (IsError (e))
                   TypeName (expression, expected)
                 else
                   TypeMemberExpr (obj, mem_name, expected)
+                  } else
+                    TypeMemberExpr (obj, mem_name, expected)
+                } else
+                  TypeMemberExpr (obj, mem_name, expected)
 
               | e => e
             }