[nem-bug] [Nemerle 0000990]: Class() should "return" class, not void

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=990> 
======================================================================
Reported By:                divan
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   990
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             04-17-2007 18:32 CEST
Last Modified:              07-07-2007 22:14 CEST
======================================================================
Summary:                    Class() should "return" class, not void
Description: 
class Main {
 x : int;
 static Main () : void {
  Main ().x;
 }
}

mainmain.n:4:3:4:7: error: typing fails on ambiguity between
overloads:
mainmain.n:4:3:4:7: error: Posible overload: method
Main.Main() : void
mainmain.n:4:3:4:7: error: Posible overload: constructor
Main..ctor() : void
======================================================================

----------------------------------------------------------------------
 divan - 07-07-07 22:14 
----------------------------------------------------------------------
In fact type is ok, void->Main, it's just a bit confusing message.

Maybe we should be able to put more constraints on any TyVar (like "has
member x") and use these in delayed typing.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
04-17-07 18:32 divan          New Issue                                    
07-07-07 21:55 divan          Issue Monitored: divan                       
07-07-07 22:14 divan          Note Added: 0001935                          
======================================================================