[nem-bug] [Nemerle 0000768]: Explicit and implicit conversation problem with generic types.

[feedback at nemerle.org]

The following issue has been UPDATED.
======================================================================
<http://nemerle.org/bugs/view.php?id=768> 
======================================================================
Reported By:                iae
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   768
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             09-27-2006 11:17 CEST
Last Modified:              09-27-2006 11:53 CEST
======================================================================
Summary:                    Explicit and implicit conversation problem with
generic types.
Description: 
Such code will compile with an error (see comments):

  class Y['t]
    mutable _t : 't
    public this(t : 't)
      _t = t
    public static @:> (y : Y['t]) : 't
      y._t
  
  def y = Y.[int](10)
  def x = y :> int // Y['t] can not be converted to 't

or 

  def p = (10 : int?) :> int; // 'Nullable[T]' can not be converted to
'T'

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

----------------------------------------------------------------------
 iae - 09-27-06 11:22 
----------------------------------------------------------------------
Of course, this bug should be in 'Compiler' category, not in a 'Code
Completion Engine'. Please change category, I not found how to make this.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-27-06 11:17 iae            New Issue                                    
09-27-06 11:17 iae            File Added: typer__2006_09_27.patch               
    
09-27-06 11:22 iae            Note Added: 0001461                          
09-27-06 11:53 malekith       Category                 Code Completion Engine =>
Compiler (type engine)
09-27-06 11:53 malekith       Description Updated                          
09-27-06 11:53 malekith       Additional Information Updated                    
======================================================================