[nem-bug] [Nemerle 0000571]: Cast is treated as type enforcement in delayed typing

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=571> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   571
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             11-13-2005 20:11 CET
Last Modified:              11-23-2005 15:38 CET
======================================================================
Summary:                    Cast is treated as type enforcement in delayed
typing
Description: 

[Record]
class Element {
  public Value : object;
  public Foo : int;
}

def f (node) {
  _ = node.Foo + 1;
  _ = node.Value :> array [Element];
}

f (Element (array [Element (null, 1)], 1));
======================================================================

----------------------------------------------------------------------
 malekith - 11-22-05 19:56 
----------------------------------------------------------------------
This seems to be related to the way arrays are handled, and not
conversions. The same example works fine for strings instead of arrays.

----------------------------------------------------------------------
 malekith - 11-23-05 15:38 
----------------------------------------------------------------------
Arrays (as well as functions) are no longer separated, so the problem went
away r5964

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-13-05 20:11 nazgul         New Issue                                    
11-22-05 19:56 malekith       Note Added: 0001037                          
11-23-05 15:38 malekith       Status                   new => resolved     
11-23-05 15:38 malekith       Resolution               open => fixed       
11-23-05 15:38 malekith       Assigned To               => malekith        
11-23-05 15:38 malekith       Note Added: 0001038                          
======================================================================