[nem-bug] [Nemerle 0000630]: Implicit conversions doesn't work for generic parameter

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=630> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   630
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-27-2006 18:57 CET
Last Modified:              05-22-2006 18:04 CEST
======================================================================
Summary:                    Implicit conversions doesn't work for generic
parameter
Description: 

class C [T] {
  public static @: (x : T) : C[T] {
    C()
  }
}

class B {}

class Implicit
{
  public static Main() : void
  {
     def x = B() : C[B];
     Nemerle.IO.print("$x\n");
  }
}

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
has duplicate       0000655 Implicit cast not works for generic str...
======================================================================

----------------------------------------------------------------------
 nazgul - 03-07-06 22:31 
----------------------------------------------------------------------
Partial patch to make this work. It still needs fetching proper methods,
but I don't feel like being able to implement it at the moment...

----------------------------------------------------------------------
 nazgul - 04-11-06 18:47 
----------------------------------------------------------------------
Additional testcase

interface IFoo {}

struct Bar1['a] where 'a : IFoo
{
    static public @:['b](_ : 'b) : Bar1['a] where 'b : IFoo
    {
        Bar1()
    }
}

struct Bar2 : IFoo {}

def bar : Bar1.[IFoo] = Bar2()

----------------------------------------------------------------------
 malekith - 05-03-06 12:34 
----------------------------------------------------------------------
Resolved on trunk, r6214.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-27-06 18:57 nazgul         New Issue                                    
03-07-06 22:29 nazgul         Status                   new => confirmed    
03-07-06 22:29 nazgul         Summary                  Implicit conversions
doesn't work for generic parameter => Implicit conversions doesn\'t work for
generic parameter
03-07-06 22:29 nazgul         Description Updated                          
03-07-06 22:29 nazgul         File Added: t_implicit.patch                    
03-07-06 22:31 nazgul         Note Added: 0001120                          
04-11-06 18:47 nazgul         Relationship added       has duplicate 0000655
04-11-06 18:47 nazgul         Note Added: 0001189                          
05-03-06 12:34 malekith       Status                   confirmed => resolved
05-03-06 12:34 malekith       Resolution               open => fixed       
05-03-06 12:34 malekith       Assigned To               => malekith        
05-03-06 12:34 malekith       Note Added: 0001218                          
05-03-06 12:34 malekith       Summary                  Implicit conversions
doesn't work for generic parameter => Implicit conversions doesn\'t work for
generic parameter
05-03-06 12:34 malekith       Description Updated                          
05-22-06 18:04 nazgul         Status                   resolved => closed  
======================================================================