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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=810> 
======================================================================
Reported By:                andrewdavey
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   810
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 unable to duplicate
Fixed in Version:           
======================================================================
Date Submitted:             12-12-2006 19:01 CET
Last Modified:              12-12-2006 20:17 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'
======================================================================

----------------------------------------------------------------------
 nazgul - 12-12-06 20:17 
----------------------------------------------------------------------
Looks like it is already fixed on trunk. You can try
http://nemerle.org/download/snapshots/nemerle-0.9.3.99.7079.tar.gz  or
version directly from svn.

Thanks for feedback! I've added your example into our regression tests.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-12-06 19:01 andrewdavey    New Issue                                    
12-12-06 20:17 nazgul         Status                   new => resolved     
12-12-06 20:17 nazgul         Resolution               open => unable to
duplicate
12-12-06 20:17 nazgul         Assigned To               => nazgul          
12-12-06 20:17 nazgul         Note Added: 0001576                          
======================================================================