[nem-bug] [Nemerle 0000826]: Match and inheritance

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=826> 
======================================================================
Reported By:                IT
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   826
Category:                   Compiler (match compiler)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-15-2007 19:46 CET
Last Modified:              01-15-2007 19:46 CET
======================================================================
Summary:                    Match and inheritance
Description: 
The following code prints 3 (should be 2):

using System;

interface ITest {}
class Class1 : ITest {}
class Class2 : Class1 {}

module Program
{
  Main() : void
  {
    def cl : ITest = Class2();

    match (cl)
    {
    | _ is Class2 when 1 > 2 => Console.WriteLine(1);
    | _ is Class1            => Console.WriteLine(2);
    | _                      => Console.WriteLine(3);
    }
  }
}

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-15-07 19:46 IT             New Issue                                    
======================================================================