[nem-bug] [Nemerle 0000570]: heap crashes when there are two heaps that sort different types

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=570> 
======================================================================
Reported By:                user317
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   570
Category:                   The Standard Library
Reproducibility:            always
Severity:                   crash
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             11-13-2005 02:40 CET
Last Modified:              11-13-2005 02:43 CET
======================================================================
Summary:                    heap crashes when there are two heaps that sort
different types
Description: 
heap crashes with 
Unhandled Exception: System.ArrayTypeMismatchException: Source array type
cannot be assigned to destination array type.
in <0x0002c> Nemerle.Collections.Heap`1[Foo]:is_greater (Int32 , Int32 )
in <0x00073> Nemerle.Collections.Heap`1[Foo]:heapify[IComparable] (Int32
)
in <0x00066> Nemerle.Collections.Heap`1[Bar]:ExtractFirst ()
in <0x00157> _N_AutoModule:Main ()

when two heaps are present in the same program that sort different types.


======================================================================

----------------------------------------------------------------------
 user317 - 11-13-05 02:43 
----------------------------------------------------------------------
I think collections of System.Object are a terrible idea in the first
place.  This class should be templated so type safety can be enforced at
compile time.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-13-05 02:40 user317        New Issue                                    
11-13-05 02:43 user317        Note Added: 0001018                          
======================================================================