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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=623> 
======================================================================
Reported By:                aleksey
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   623
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-19-2006 13:53 CET
Last Modified:              03-07-2006 20:44 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)

----------------------------------------------------------------------
 nazgul - 02-19-06 14:38 
----------------------------------------------------------------------
Malekith, maybe we should just take InternaType.SystemArray and check if
given tc is within its supertypes?

----------------------------------------------------------------------
 malekith - 02-22-06 12:57 
----------------------------------------------------------------------
This won't work for generic interfaces...

----------------------------------------------------------------------
 nazgul - 02-22-06 22:32 
----------------------------------------------------------------------
"In the .NET Framework version 2.0, the Array class implements the
System.Collections.Generic.IList, System.Collections.Generic.ICollection,
and System.Collections.Generic.IEnumerable generic interfaces. The
implementations are provided to arrays at run time, and therefore are not
visible to the documentation build tools."

So we should use System.Array and add those three special cases :)

----------------------------------------------------------------------
 nazgul - 03-07-06 20:44 
----------------------------------------------------------------------
Fixed on trunk (r6156)

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                          
02-19-06 14:38 nazgul         Note Added: 0001095                          
02-22-06 12:57 malekith       Note Added: 0001102                          
02-22-06 22:32 nazgul         Note Added: 0001105                          
03-07-06 20:44 nazgul         Status                   new => resolved     
03-07-06 20:44 nazgul         Resolution               open => fixed       
03-07-06 20:44 nazgul         Assigned To               => nazgul          
03-07-06 20:44 nazgul         Note Added: 0001118                          
======================================================================