[nem-bug] [Nemerle 0000673]: nullable type throw exception on mono 1.1.15

[feedback at nemerle.org]

The following issue has been set as RELATED TO issue 0001056.
======================================================================
<http://nemerle.org/bugs/view.php?id=673> 
======================================================================
Reported By:                akiramei
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   673
Category:                   Compiler
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-13-2006 07:09 CEST
Last Modified:              05-14-2006 13:17 CEST
======================================================================
Summary:                    nullable type throw exception on mono 1.1.15
Description: 
using System;

mutable n : int? = Int32.MaxValue;

match (n) {
    | null => Console.WriteLine ("null");
    | _ => Console.WriteLine (n.ToString ());
}

mono 1.1.15:
Unhandled Exception: System.InvalidProgramException: Invalid IL code in
_N_AutoModule:Main (): IL_001c: ldstr

.NET 2.0:
null

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
has duplicate       0000957 match nullable generates bad IL
related to          0001056 incorrect matching of nullable types
======================================================================

----------------------------------------------------------------------
 nazgul - 05-14-06 13:17 
----------------------------------------------------------------------
Probably we should first decide how nullable types should work in
matching...
For example in 

match (x) {
  | null =>
  | 1 =>
  | x =>
}

What type x should actually have, int? or int 

This also needs some work in matching compiler to solve properly. I wonder
if we could use our ExtensionPatterns feature, Michal, any comments?

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-13-06 07:09 akiramei       New Issue                                    
05-14-06 13:17 nazgul         Note Added: 0001284                          
02-27-07 17:52 nazgul         Relationship added       has duplicate 0000957
10-26-07 19:05 divan          Relationship added       related to 0001056  
======================================================================