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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=787> 
======================================================================
Reported By:                wolfhound
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   787
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             11-14-2006 21:29 CET
Last Modified:              11-14-2006 21:29 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)

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-14-06 21:29 wolfhound      New Issue                                    
======================================================================