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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=585> 
======================================================================
Reported By:                d
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   585
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-10-2005 17:02 CET
Last Modified:              12-10-2005 17:02 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] */
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-10-05 17:02 d              New Issue                                    
======================================================================