[nem-bug] [Nemerle 0001020]: NullReferenceException in "is" matching operator

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=1020> 
======================================================================
Reported By:                VladD2
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1020
Category:                   Code Completion Engine
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-26-2007 12:39 CEST
Last Modified:              05-28-2007 10:41 CEST
======================================================================
Summary:                    NullReferenceException in "is" matching operator
Description: 
If try match nulled variable whose type is "variant option type"
NullReferenceException throw:

using System.Console;
using Nemerle.Utility;

variant Test
{
  | A
  | B { next : Test; }
}

module Program
{
  Main() : void
  {
    def x : Test.B = null;
    WriteLine(x is Test.B(Test.A)); // NullReferenceException 
  }
}
======================================================================

----------------------------------------------------------------------
 malekith - 05-28-07 10:41 
----------------------------------------------------------------------
This exactly the same as what happens with normal matching. There is a bug
report/feature request to change it somewhere...

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-26-07 12:39 VladD2         New Issue                                    
05-28-07 10:41 malekith       Note Added: 0001911                          
======================================================================