[nem-bug] [Nemerle 0000710]: 'is' not allowed on generic parameters

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=710> 
======================================================================
Reported By:                trupill
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   710
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             07-06-2006 23:48 CEST
Last Modified:              07-06-2006 23:48 CEST
======================================================================
Summary:                    'is' not allowed on generic parameters
Description: 
You cannot use the 'is' operator on generic parameters.

This code:

public class Example
{
    public Method [From, To] (x : From, f : From -> To) : To
    {
        match (x) {
        | t is To => t
        | _ => f (x)
        }
    }
}

Shows these compiler errors:

n.n:6:11:6:18: error: invalid type in (x : type) pattern: To.739
n.n:6:22:6:23: error: unbound name `t'
n.n:7:11:7:12: warning: this match clause is unused
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-06-06 23:48 trupill        New Issue                                    
======================================================================