[nem-bug] [Nemerle 0000806]: cast issued instead of conversion

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=806> 
======================================================================
Reported By:                malekith
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   806
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-09-2006 21:12 CET
Last Modified:              12-10-2006 20:58 CET
======================================================================
Summary:                    cast issued instead of conversion
Description: 
The cast is generated instead of call to explicit conversion, and the
following fails:

class Op
{}

class ExtOp: Op {
  public static @:>(_: Op): ExtOp { ExtOp() }
}


_ = Op() :> ExtOp


From: http://rsdn.ru/forum/Message.aspx?mid=2254854&only=1
======================================================================

----------------------------------------------------------------------
 nazgul - 12-10-06 20:58 
----------------------------------------------------------------------
Fixed on trunk (r7077)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-09-06 21:12 malekith       New Issue                                    
12-10-06 20:58 nazgul         Status                   new => resolved     
12-10-06 20:58 nazgul         Resolution               open => fixed       
12-10-06 20:58 nazgul         Assigned To               => nazgul          
12-10-06 20:58 nazgul         Note Added: 0001575                          
======================================================================