[nem-bug] [Nemerle 0000773]: match and type inference

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=773> 
======================================================================
Reported By:                IT
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   773
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             10-02-2006 01:00 CEST
Last Modified:              10-02-2006 01:00 CEST
======================================================================
Summary:                    match and type inference
Description: 
I am not sure this is a bug, but looks like that.

public variant Var
{
  | Opt
}

public module Program
{
  Main() : void
  {
    def boo1(v : Var)
    {
      | Opt => () // ok
    }

    def boo2(v)
    {
      | Opt => () // error: unbound type name Opt
    }

    boo1(Var.Opt());
    boo2(Var.Opt());
  }
}
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-02-06 01:00 IT             New Issue                                    
======================================================================