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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=826> 
======================================================================
Reported By:                IT
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   826
Category:                   Compiler (match compiler)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             01-15-2007 19:46 CET
Last Modified:              01-19-2007 19:00 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);
    }
  }
}

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

----------------------------------------------------------------------
 malekith - 01-19-07 19:00 
----------------------------------------------------------------------
Yuck, this was a really ugly one.

Resolved on trunk r7293, thanks!

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-15-07 19:46 IT             New Issue                                    
01-19-07 19:00 malekith       Status                   new => resolved     
01-19-07 19:00 malekith       Resolution               open => fixed       
01-19-07 19:00 malekith       Assigned To               => malekith        
01-19-07 19:00 malekith       Note Added: 0001613                          
======================================================================