[svn] r7744: nemerle/trunk/ncc: testsuite/positive/methods-1st-class-citizens.n typing/Typer-DelayedTyping...

[divan]

Log:
Fix bug 882.

Author: divan
Date: Sat Jul  7 20:57:44 2007
New Revision: 7744

Modified:
   nemerle/trunk/ncc/testsuite/positive/methods-1st-class-citizens.n
   nemerle/trunk/ncc/typing/Typer-DelayedTyping.n

Modified: nemerle/trunk/ncc/testsuite/positive/methods-1st-class-citizens.n
==============================================================================
--- nemerle/trunk/ncc/testsuite/positive/methods-1st-class-citizens.n	(original)
+++ nemerle/trunk/ncc/testsuite/positive/methods-1st-class-citizens.n	Sat Jul  7 20:57:44 2007
@@ -10,7 +10,6 @@
 namespace ComposeAndPipeline {
   using System.Console;
   using System.Math;
-  using Nemerle.Builtins.Function; // this should not be necessary!
     
   module Do {
     public Run () : void {

Modified: nemerle/trunk/ncc/typing/Typer-DelayedTyping.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer-DelayedTyping.n	(original)
+++ nemerle/trunk/ncc/typing/Typer-DelayedTyping.n	Sat Jul  7 20:57:44 2007
@@ -145,6 +145,8 @@
                 | _ => k
               }
             | Kind.Overloaded (lst) =>
+              when (expected.Hint.IsNone && List.ForAll (lst, x => x.Type is MType.Fun))
+                _ = expected.Unify (MType.Fun (typer.FreshTyVar (), typer.FreshTyVar ()));
               Kind.Overloaded (OverloadPossibility.Unique (lst))
             | Kind.OverloadedOperator (lst, t1, t2, n, e, s) =>
               Kind.OverloadedOperator (OverloadPossibility.Unique (lst), t1, t2, n, e, s)