[nem-bug] [Nemerle 0000813]: Array cast fail

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=813> 
======================================================================
Reported By:                VladD2
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   813
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-23-2006 06:12 CET
Last Modified:              12-27-2006 21:46 CET
======================================================================
Summary:                    Array cast fail
Description: 
This code cause error during compilation:
----------------------------------------------------
using System.Collections.Generic;

def  x = array["1", "2"];
def y : IList[IEnumerable[char]] = x;
_ = y;
----------------------------------------------------
array[string] implement:
IList[string]
IList[object]
IList[ICloneable]
IList[IConvertible]
IList[IEquatable[string]]
IList[IEnumerable]
IList[IEnumerable[char]]
IList[IComparable]
IList[IComparable[string]]
ICloneable

ECMA-334:
In addition, if there is an implicit reference conversion from S to T
then
S[] implements IList<T> and there is an implicit reference conversion from
S[] to IList<T> and its base interfaces.
======================================================================

----------------------------------------------------------------------
 nazgul - 12-27-06 21:46 
----------------------------------------------------------------------
Fixed on trunk (r7161)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-23-06 06:12 VladD2         New Issue                                    
12-27-06 21:46 nazgul         Status                   new => resolved     
12-27-06 21:46 nazgul         Resolution               open => fixed       
12-27-06 21:46 nazgul         Assigned To               => nazgul          
12-27-06 21:46 nazgul         Note Added: 0001590                          
======================================================================