[nem-bug] [Nemerle 0000770]: subtle overloading resolution bug, involving type inference of local functions

[feedback at nemerle.org]

The following issue has been ASSIGNED.
======================================================================
<http://nemerle.org/bugs/view.php?id=770> 
======================================================================
Reported By:                aleksey
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   770
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   urgent
Status:                     assigned
======================================================================
Date Submitted:             09-29-2006 22:34 CEST
Last Modified:              12-16-2006 12:14 CET
======================================================================
Summary:                    subtle overloading resolution bug, involving type
inference of local functions
Description: 
This happens under certain circumstances when passing parameters to
System.Console.Write or WriteLine function. Error message is always the
following:

expected array [System.Object]+, got "some type" in call result
: "some type" is not a subtype of array [System.Object] [simple require]
("some type" is return type of a local function involved)

Minimal code to reproduce the problem:
System.Console.WriteLine("{0}", (_+_)(1,1))

Another piece of code which reproduces the problem:
def y(i) { i(1, 2) }
def x(i, j) { i + j }
System.Console.WriteLine("{0}", y(x));
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-29-06 22:34 aleksey        New Issue                                    
12-16-06 12:14 malekith       Assigned To               => malekith        
12-16-06 12:14 malekith       Priority                 normal => urgent    
12-16-06 12:14 malekith       Status                   new => assigned     
12-16-06 12:14 malekith       Description Updated                          
12-16-06 12:14 malekith       Additional Information Updated                    
======================================================================