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

[feedback at nemerle.org]

The following issue has been UPDATED.
======================================================================
<http://nemerle.org/bugs/view.php?id=809> 
======================================================================
Reported By:                malekith
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   809
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-10-2006 22:01 CET
Last Modified:              12-10-2006 22:04 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 ();

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

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                          
======================================================================