[nem-bug] [Nemerle 0000585]: expected Foo['a.153], got Foo['a.151]

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=585> 
======================================================================
Reported By:                d
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   585
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-10-2005 17:02 CET
Last Modified:              01-24-2006 16:07 CET
======================================================================
Summary:                    expected Foo['a.153], got Foo['a.151]
Description: 
variant Foo ['a] {
  | Cons { arg : 'a }
  
  public Bar ['a] () : Foo ['a] {
    this
  }   
}

/* error: expected Foo['a.153], got Foo['a.151] in function return type:
the types 'a.151 and 'a.153 are not compatible [simple unify] */
======================================================================

----------------------------------------------------------------------
 malekith - 01-24-06 16:07 
----------------------------------------------------------------------
This now (r6086) generates an error.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-10-05 17:02 d              New Issue                                    
01-24-06 16:07 malekith       Status                   new => resolved     
01-24-06 16:07 malekith       Resolution               open => fixed       
01-24-06 16:07 malekith       Assigned To               => malekith        
01-24-06 16:07 malekith       Note Added: 0001058                          
======================================================================