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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=887> 
======================================================================
Reported By:                nikov
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   887
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-11-2007 20:02 CET
Last Modified:              02-11-2007 20:44 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

----------------------------------------------------------------------
 nazgul - 02-11-07 20:44 
----------------------------------------------------------------------
I fixed the message.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-11-07 20:02 nikov          New Issue                                    
02-11-07 20:09 nazgul         Note Added: 0001710                          
02-11-07 20:44 nazgul         Status                   new => resolved     
02-11-07 20:44 nazgul         Resolution               open => fixed       
02-11-07 20:44 nazgul         Assigned To               => nazgul          
02-11-07 20:44 nazgul         Note Added: 0001711                          
======================================================================