[nem-bug] [Nemerle 0001021]: ICE: ForceUnify failed to unify

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1021> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1021
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   crash
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-28-2007 05:11 CEST
Last Modified:              05-28-2007 05:11 CEST
======================================================================
Summary:                    ICE: ForceUnify failed to unify
Description: 
The following program gives an ICE with Nemerle 0.9.3.99.7691:

public class M['S]
{
	
}

public class P['M, 'S] where 'M : M['S]
{
}

public abstract class A['S]
{
	public abstract I['M](_ : P['M, 'S]) : void 
		where 'M : M['S];
}

public class B['S] : A['S]
{
	public override I['M](_ : P['M, 'S]) : void 
		where 'M : M['S]
	{
	}
}
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-28-07 05:11 Evin Robertson New Issue                                    
======================================================================