[nem-bug] [Nemerle 0001036]: ICE: failed to require System.UInt16 from int

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1036> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1036
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             07-21-2007 14:17 CEST
Last Modified:              07-21-2007 14:17 CEST
======================================================================
Summary:                    ICE: failed to require System.UInt16 from int
Description: 
The following code generates an ICE.  It can be worked around by changing
the last line to found(0 : ushort)

def t = 0 :> ushort;
found:
{
   when(t != 0)
   {
       found(t);
   }
   found(0);
}

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-21-07 14:17 Evin Robertson New Issue                                    
======================================================================