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

[feedback at nemerle.org]

The following issue has been ASSIGNED.
======================================================================
<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 04:27 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).
======================================================================

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           
======================================================================