[nem-bug] [Nemerle 0000887]: Bogus error (got void in function return type)

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=887> 
======================================================================
Reported By:                nikov
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   887
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-11-2007 20:02 CET
Last Modified:              02-11-2007 20:09 CET
======================================================================
Summary:                    Bogus error (got void in function return type)
Description: 
interface IFace[T] {
	Foo() : T;
}

class Stuff[T] : IFace[T] {
    public Foo() : T {} /* expected T.1175, got void in function return
type: void is not a subtype of T.1175 */
}

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

----------------------------------------------------------------------
 nazgul - 02-11-07 20:09 
----------------------------------------------------------------------
Why? Function must return a value, the error is valid, though message
shoule be a little more clear:

expected T.1175, got void in function return value

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-11-07 20:02 nikov          New Issue                                    
02-11-07 20:09 nazgul         Note Added: 0001710                          
======================================================================