[nem-bug] [Nemerle 0000634]: Type inference error for interfaces of value-type variables.

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=634> 
======================================================================
Reported By:                iae
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   634
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             03-10-2006 07:28 CET
Last Modified:              03-10-2006 07:28 CET
======================================================================
Summary:                    Type inference error for interfaces of value-type
variables.
Description: 
// error: there is no member named `ToInt32' in int with type ?
def _ = 1.ToInt32(null);

// error: there is no member named `ToInt32' in System.Double with type ?
def _ = 1.25.ToInt32(null);

// error: there is no member named `ToInt32' in E with type ?
// enum E { | First | Second }
def _ = E.First.ToInt32(null);

// OK. 
// class C : IConvertible {...}
def _ = C().ToInt32(null);

======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
03-10-06 07:28 iae            New Issue                                    
======================================================================