[nem-bug] [Nemerle 0000787]: Invalid warning

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=787> 
======================================================================
Reported By:                wolfhound
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   787
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             11-14-2006 21:29 CET
Last Modified:              11-21-2006 21:50 CET
======================================================================
Summary:                    Invalid warning
Description: 
variant TestVariant
{
    | Id { name : string; }
    | Pair { id1 : Id; id2 : Id; }

    public override ToString() : string
    {
        match (this)
        {
        | Id(name) => name
        | Pair(Id(name1), Id(name2)) => name1 + name2
        }
    }
}
 
1.n:13:3:13:8: [01;33mwarning [0m: matching is not exhaustive, example
unmatched value: TestVariant.Pair (id1 = TestVariant.Id, id2 = Pair)

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

----------------------------------------------------------------------
 malekith - 11-21-06 21:50 
----------------------------------------------------------------------
Resolved on trunk r6977

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-14-06 21:29 wolfhound      New Issue                                    
11-21-06 21:50 malekith       Status                   new => resolved     
11-21-06 21:50 malekith       Resolution               open => fixed       
11-21-06 21:50 malekith       Assigned To               => malekith        
11-21-06 21:50 malekith       Note Added: 0001515                          
======================================================================