[nem-bug] [Nemerle 0000809]: problem with 'mutable x : Type'

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=809> 
======================================================================
Reported By:                malekith
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   809
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-10-2006 22:01 CET
Last Modified:              12-13-2006 13:17 CET
======================================================================
Summary:                    problem with 'mutable x : Type'
Description: 
The following probably should yield an error.

class A { }
class B : A   { }
mutable b : B = B();
b = A ();

======================================================================

----------------------------------------------------------------------
 malekith - 12-13-06 13:17 
----------------------------------------------------------------------
Resolved, r7086

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-10-06 22:01 malekith       New Issue                                    
12-10-06 22:04 nazgul         Category                 Code Completion Engine =>
Compiler (type engine)
12-10-06 22:04 nazgul         Summary                  problem with 'mutable x :
Type' => problem with \'mutable x : Type\'
12-10-06 22:04 nazgul         Description Updated                          
12-13-06 13:17 malekith       Status                   new => resolved     
12-13-06 13:17 malekith       Resolution               open => fixed       
12-13-06 13:17 malekith       Assigned To               => malekith        
12-13-06 13:17 malekith       Note Added: 0001579                          
======================================================================