[nem-bug] [Nemerle 0000623]: probably more array tweaks required

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=623> 
======================================================================
Reported By:                aleksey
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   623
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-19-2006 13:53 CET
Last Modified:              02-19-2006 14:18 CET
======================================================================
Summary:                    probably more array tweaks required
Description: 
Thank you for a quick fix! I just looked at the diff in the svn repository
and I hate to be pedantic, but unfortunately it will probably not fix the
problem completely(though it will fix test case I submitted).

Here's a complete list of interfaces which Array implements:
IClonable, IList,ICollection, IEnumerable
Generic.IList, Generic.ICollection, Generic.IEnumerable

Btw, your fix is really very simple and readable(though a bit hackish), I
couldn't imagine this is so simple. :) Probably I could even have tried to
fix the problem myself. When I'll spot such a trivial problem next time,
I'll definitely try to save your time and submit some patch outright(via
mantis of course ;) ).
======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
has duplicate       0000616 array [int] should be subtype of System...
======================================================================

----------------------------------------------------------------------
 nazgul - 02-19-06 14:18 
----------------------------------------------------------------------
Exactly:

def x = array [1];
_ = x : System.Collections.IList;

(from http://nemerle.org/bugs/view.php?id=616)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-19-06 13:53 aleksey        New Issue                                    
02-19-06 14:16 nazgul         Relationship added       has duplicate 0000616
02-19-06 14:18 nazgul         Note Added: 0001094                          
======================================================================