[nem-bug] [Nemerle 0001035]: ICE: Assertion failed in Typer4: invalid thing called

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1035> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                divan
======================================================================
Project:                    Nemerle
Issue ID:                   1035
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             07-06-2007 18:18 CEST
Last Modified:              10-26-2007 00:31 CEST
======================================================================
Summary:                    ICE: Assertion failed in Typer4: invalid thing
called
Description: 
(same ICE message as was in 782)

The following program gives an ICE:


using System;

public class AException : Exception
{
    public F() : void
    {
    }
}

public class BException : Exception
{
    public static F() : void
    {
    }
}

public class M
{
    public S() : void
    {
        def h(action)
        {
            try
            {
                action();
            }
            catch
            {
                | ex is AException =>
                    h(() => ex.F());
                | _ is BException =>
                    h(() => BException.F());
            }
        }

        h(() => BException.F());
    }
}

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

----------------------------------------------------------------------
 divan - 10-26-07 00:31 
----------------------------------------------------------------------
Fixed on r7828.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-06-07 18:18 Evin Robertson New Issue                                    
10-25-07 22:09 divan          Issue Monitored: divan                       
10-26-07 00:09 divan          Status                   new => assigned     
10-26-07 00:09 divan          Assigned To               => divan           
10-26-07 00:31 divan          Note Added: 0001978                          
10-26-07 00:31 divan          Status                   assigned => resolved
10-26-07 00:31 divan          Resolution               open => fixed       
10-26-07 00:31 divan          Description Updated                          
10-26-07 00:31 divan          Additional Information Updated                    
======================================================================