[nem-bug] [Nemerle 0000810]: Inner interface not available as generic type constraint

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=810> 
======================================================================
Reported By:                andrewdavey
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   810
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-12-2006 19:01 CET
Last Modified:              12-12-2006 19:01 CET
======================================================================
Summary:                    Inner interface not available as generic type
constraint
Description: 
The following Nemerle code will not compile.
The equivalent C# code does compile.

namespace Sample 
{
public class Editable[T] where T : Editable[T].IRequired
{
	public interface IRequired
	{
		Clone() : T;
		Restore(previous : T) : void;
	}
}
}

Compiler reports:
bug.n:6:1:15:2:
&http://nemerle.org/bugs/view.php?id=8592;[01;31merror&http://nemerle.org/bugs/view.php?id=8592;[0m:
the type
`Sample.Editable[T.836]' does not contain a nested type named `IRequired'
bug.n:9:9:13:3:
&http://nemerle.org/bugs/view.php?id=8592;[01;31merror&http://nemerle.org/bugs/view.php?id=8592;[0m:
the type
`Sample.Editable[T.837]' does not contain a nested type named `IRequired'
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-12-06 19:01 andrewdavey    New Issue                                    
======================================================================