[nem-bug] [Nemerle 0000765]: Extension methods overloads and property

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=765> 
======================================================================
Reported By:                VladD2
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   765
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   high
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             09-25-2006 02:07 CEST
Last Modified:              09-26-2006 19:02 CEST
======================================================================
Summary:                    Extension methods overloads and property
Description: 
using System.IO;
using Nemerle.Utility;

def dir = DirectoryInfo("test");

when(!dir.Exists) // Exists is a property!
  dir.Create();

---------------------------------------------------
Main.n(6,7,6,17): error : typing fails on ambiguity between overloads:
  property `System.IO.DirectoryInfo.Exists'
  method Nemerle.Utility.NString.Exists(s : string, f : char -> bool) :
bool
  method Nemerle.Utility.NArray.Exists(a : array ['a.721], f : 'a.721 ->
bool) : bool
======================================================================

----------------------------------------------------------------------
 malekith - 09-26-06 19:02 
----------------------------------------------------------------------
Resolved on trunk, r6718.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-25-06 02:07 VladD2         New Issue                                    
09-26-06 19:02 malekith       Status                   new => resolved     
09-26-06 19:02 malekith       Resolution               open => fixed       
09-26-06 19:02 malekith       Assigned To               => malekith        
09-26-06 19:02 malekith       Note Added: 0001459                          
======================================================================