[nem-bug] [Nemerle 0000616]: array [int] should be subtype of System.Collections.IList

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=616> 
======================================================================
Reported By:                nazgul
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   616
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 duplicate
Duplicate:                  623
Fixed in Version:           
======================================================================
Date Submitted:             02-11-2006 12:33 CET
Last Modified:              05-22-2006 18:06 CEST
======================================================================
Summary:                    array [int] should be subtype of
System.Collections.IList
Description: 
def x = array [1];
_ = x : System.Collections.IList;

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
duplicate of        0000623 probably more array tweaks required
======================================================================

----------------------------------------------------------------------
 nazgul - 02-19-06 14:17 
----------------------------------------------------------------------
More general bug is now reported for this.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-11-06 12:33 nazgul         New Issue                                    
02-19-06 14:16 nazgul         Relationship added       duplicate of 0000623
02-19-06 14:17 nazgul         Duplicate ID             0 => 623            
02-19-06 14:17 nazgul         Status                   new => resolved     
02-19-06 14:17 nazgul         Resolution               open => duplicate   
02-19-06 14:17 nazgul         Assigned To               => nazgul          
02-19-06 14:17 nazgul         Note Added: 0001093                          
02-19-06 14:17 nazgul         Description Updated                          
02-19-06 14:17 nazgul         Additional Information Updated                    
05-22-06 18:06 nazgul         Status                   resolved => closed  
======================================================================