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

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=571> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   571
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             11-13-2005 20:11 CET
Last Modified:              11-22-2005 19:56 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.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-13-05 20:11 nazgul         New Issue                                    
11-22-05 19:56 malekith       Note Added: 0001037                          
======================================================================