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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=770> 
======================================================================
Reported By:                aleksey
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   770
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             09-29-2006 22:34 CEST
Last Modified:              09-29-2006 22:34 CEST
======================================================================
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                                    
======================================================================