[nem-bug] [Nemerle 0000536]: assertion in Typer3 for generic local method

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=536> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   536
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   high
Status:                     confirmed
======================================================================
Date Submitted:             09-22-2005 18:44 CEST
Last Modified:              11-15-2005 14:12 CET
======================================================================
Summary:                    assertion in Typer3 for generic local method
Description: 
using Nemerle.Collections;

class Typed_term {
  public term_type : string;
}

class Term_type {
  public Matches (_ : string) : bool {
    true
  }
}

module M {
  update_handlers : list [Term_type * string]; 
  
    private Update 
        (
         ty_te : Typed_term
        )
        : string
  {
    def matchesf['a] (updh : Term_type * 'a) {
      | (tpe, _) => tpe.Matches (ty_te.term_type)
    };

    def matching = List.Find (update_handlers, matchesf);
    null
}
  
}

()

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

----------------------------------------------------------------------
 malekith - 11-15-05 14:12 
----------------------------------------------------------------------
Minimal example:

def matchesf['a] (_ : object * object) { }
_ = matchesf;

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-22-05 18:44 nazgul         New Issue                                    
10-03-05 19:34 nazgul         Status                   new => confirmed    
10-04-05 21:01 nazgul         Priority                 normal => high      
11-15-05 14:12 malekith       Note Added: 0001025                          
======================================================================