[nem-bug] [Nemerle 0000856]: Enums shall not be polymorphic

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=856> 
======================================================================
Reported By:                nikov
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   856
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             01-29-2007 16:40 CET
Last Modified:              02-03-2007 11:53 CET
======================================================================
Summary:                    Enums shall not be polymorphic
Description: 
enum E[T] { | A }

_ = E.[int]() /* error : E takes 0 generic parameters, while 1 was
supplied */

Currently ncc allows to declare an enum as a polymorphic, but treats it as
a non-polymorphic hereinafter.
Should complain at declaration.
======================================================================

----------------------------------------------------------------------
 nazgul - 02-03-07 11:53 
----------------------------------------------------------------------
Fixed on trunk (r7373)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-29-07 16:40 nikov          New Issue                                    
02-03-07 11:53 nazgul         Status                   new => resolved     
02-03-07 11:53 nazgul         Resolution               open => fixed       
02-03-07 11:53 nazgul         Assigned To               => nazgul          
02-03-07 11:53 nazgul         Note Added: 0001670                          
======================================================================