[nem-bug] [Nemerle 0000605]: Casts from value type to 'a causes invalid IL

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=605> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   605
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-28-2006 14:15 CET
Last Modified:              01-28-2006 14:15 CET
======================================================================
Summary:                    Casts from value type to 'a causes invalid IL
Description: 
#pragma indent

module M
  public ReadField ['a] (index : int) : 'a
      def ty = typeof ('a)
      if (ty.Equals (typeof (int)))
        1 :> 'a
      else if (ty.Equals (typeof (long)))
        1L :> 'a
      else if (ty.Equals (typeof (byte)))
        1b :> 'a
      else
        throw System.NotImplementedException (ty.ToString ())

()
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-28-06 14:15 nazgul         New Issue                                    
======================================================================