[nem-bug] [Nemerle 0001052]: Compiler loose a generic type, causing a program to crash.

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=1052> 
======================================================================
Reported By:                hi_octane
Assigned To:                divan
======================================================================
Project:                    Nemerle
Issue ID:                   1052
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     assigned
======================================================================
Date Submitted:             10-02-2007 10:30 CEST
Last Modified:              10-09-2007 19:29 CEST
======================================================================
Summary:                    Compiler loose a generic type, causing a program to
crash.
Description: 
A common C# pattern allows generic-based implementation of static methods
and properties with a common abstract base class. Nemerle compiles this
sample incorrectly, finally trying to create an instance of the abstract
class during runtime (even ignoring the new() constraint).
======================================================================

----------------------------------------------------------------------
 divan - 10-09-07 19:29 
----------------------------------------------------------------------
Fixed new() constraint on r7803, proper error is generated for third case.

Fixing base class generic parameters won't be that easy, class member
lookup doesn't know anything about generics :( but i'll try to ;)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-02-07 10:30 hi_octane      New Issue                                    
10-02-07 10:30 hi_octane      File Added: GenericsInheritanceBug.n              
     
10-02-07 18:46 divan          Issue Monitored: divan                       
10-09-07 04:27 divan          Status                   new => assigned     
10-09-07 04:27 divan          Assigned To               => divan           
10-09-07 19:29 divan          Note Added: 0001959                          
======================================================================