[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 SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=811> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   811
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   trivial
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-16-2006 17:11 CET
Last Modified:              12-16-2006 17:11 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;
        }
    }
}

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-16-06 17:11 Evin Robertson New Issue                                    
======================================================================