[nem-bug] [Nemerle 0000811]: Funny error: used to have type System.Object but now it has type System.Object

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=811> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   811
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-16-2006 17:11 CET
Last Modified:              12-17-2006 16:50 CET
======================================================================
Summary:                    Funny error: used to have type System.Object but now
it has type System.Object
Description: 
The following program gives a correct error message, "wrong number of type
parameters to `A'" and then goes on to complain:

UsedToHave.n:9:13:9:14: error: a value bound in pattern i used to have
type System.Object but now it has type System.Object
UsedToHave.n:9:13:9:14: hint: rename variable if they have no connection
UsedToHave.n:10:18:10:21: error: there is no member named `x' in
System.Object with type ?


public class A['a, 'b]
{
    private x : int;

    public override Equals(o : object) : bool
    {
        match(o)
        {
          | i is A['a] =>
            x == i.x;
          | _ => false;
        }
    }
}

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

----------------------------------------------------------------------
 malekith - 12-17-06 16:50 
----------------------------------------------------------------------
This should be fixed on trunk (r7111).

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-16-06 17:11 Evin Robertson New Issue                                    
12-17-06 16:50 malekith       Status                   new => resolved     
12-17-06 16:50 malekith       Resolution               open => fixed       
12-17-06 16:50 malekith       Assigned To               => malekith        
12-17-06 16:50 malekith       Note Added: 0001585                          
======================================================================