[nem-bug] [Nemerle 0000544]: .NET do not understand 'a ---> 'b implicit converions

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=544> 
======================================================================
Reported By:                nazgul
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   544
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             10-02-2005 16:41 CEST
Last Modified:              11-06-2005 17:43 CET
======================================================================
Summary:                    .NET do not understand 'a ---> 'b implicit
converions
Description: 
namespace Nemerle 
{
  public class Identity ['a, 'b] : IntTypes.FuncNew1 ['a, 'b] where 'a :
'b {
    public override apply (x : 'a) : 'b {
      x
    }
  }
}

	  def f = (Nemerle.Identity.[int,object] () : object) :> int -> object;
	  System.Console.WriteLine (f (1));
======================================================================

----------------------------------------------------------------------
 nazgul - 10-02-05 19:54 
----------------------------------------------------------------------
Fixed on trunk (r5789)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-02-05 16:41 nazgul         New Issue                                    
10-02-05 19:54 nazgul         Status                   new => resolved     
10-02-05 19:54 nazgul         Resolution               open => fixed       
10-02-05 19:54 nazgul         Assigned To               => nazgul          
10-02-05 19:54 nazgul         Note Added: 0000985                          
10-02-05 19:54 nazgul         Summary                  .NET do not understand 'a
---> 'b implicit converions => .NET do not understand \'a ---> \'b implicit
converions
10-02-05 19:54 nazgul         Description Updated                          
11-06-05 17:43 nazgul         Status                   resolved => closed  
======================================================================