[nem-bug] [Nemerle 0000665]: Return type of local generic method is not inferred

[feedback at nemerle.org]

The following issue has been set as RELATED TO issue 0000923.
======================================================================
<http://nemerle.org/bugs/view.php?id=665> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   665
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-07-2006 21:47 CEST
Last Modified:              05-07-2006 21:47 CEST
======================================================================
Summary:                    Return type of local generic method is not inferred
Description: 

def merge ['a] (a : list[list['a]], b : list[list['a]]) {
  | (x :: xs, y ::ys) => (x + y) :: merge (xs, ys)
  | ([], []) => []
  | _ => throw System.Exception ("")
}

_ = merge ([], []);
_ = merge ([[1]], [[2]]);

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
related to          0000923 Return type inference fails on local ge...
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-07-06 21:47 nazgul         New Issue                                    
02-20-07 19:36 nikov          Relationship added       related to 0000923  
======================================================================