[nem-bug] [Nemerle 0001026]: user-defined operators break type-inference

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1026> 
======================================================================
Reported By:                divan
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1026
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             06-12-2007 16:53 CEST
Last Modified:              06-12-2007 16:53 CEST
======================================================================
Summary:                    user-defined operators break type-inference
Description: 
using System;
using DateHelper;

public module DateHelper {
  public @+ (date : DateTime, delta : double) : DateTime {
    date.AddDays (delta);
  }
  public @+ (_ : int, _ : DateTime) : int {
    1
  }
}

_ = [1.0].FoldLeft (2.0, _ + _)

Results in error, but should choose double+double overload.
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
06-12-07 16:53 divan          New Issue                                    
======================================================================