[nem-bug] [Nemerle 0001016]: Wrong ambiguity if method with "params" adgs put as parametr into HOF

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1016> 
======================================================================
Reported By:                VladD2
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1016
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-14-2007 06:43 CEST
Last Modified:              05-14-2007 06:43 CEST
======================================================================
Summary:                    Wrong ambiguity if method with "params" adgs put as
parametr into HOF
Description: 
module Program
{
  Test(_x : int, params _args : array[object]) : void
  {
  }
  
  Main() : void
  {
    def f(_func : int * array[object] -> void) { }
    
    f (Test); //E: typing fails on ambiguity between overloads
              //   Posible overload: method Program.Test(_x : int, _args :
array [System.Object]) : void
              //   Posible overload: method Program.Test(_x : int, _args :
array [System.Object]) : void [parms]
  }
}
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-14-07 06:43 VladD2         New Issue                                    
======================================================================