[nem-bug] [Nemerle 0001028]: ICE: MType.SystemType for Intersection with overloaded functions

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1028> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1028
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             06-16-2007 15:42 CEST
Last Modified:              06-16-2007 15:42 CEST
======================================================================
Summary:                    ICE: MType.SystemType for Intersection with
overloaded functions
Description: 
The following program causes an ICE with nemerle-0.9.3.99.7704.  Easy to
work around by renaming one of the F methods.

public interface IA
{
}

public abstract class B
{
}

public class C : B, IA
{
}

public class X
{
    public F['i](i : 'i) : IA where 'i : B, IA
    {
	i
    }

    public F(i : B) : void
    {
    }

    public G(c : C) : IA
    {
	F(c)
    }
}

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
06-16-07 15:42 Evin Robertson New Issue                                    
======================================================================