[nem-bug] [Nemerle 0000794]: Imperative return + option = crash

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=794> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   794
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             11-25-2006 22:44 CET
Last Modified:              11-28-2006 12:32 CET
======================================================================
Summary:                    Imperative return + option = crash
Description: 
def x = [1,2,3,4];

def foo (l : list[int]) {
  foreach (y in l)
    when (y % 2 == 0)
      Nemerle.Imperative.Return (Some (y));
  None ();
}

System.Console.WriteLine (foo (x));
======================================================================

----------------------------------------------------------------------
 malekith - 11-27-06 13:09 
----------------------------------------------------------------------
For some reason there are two different option types here.

----------------------------------------------------------------------
 malekith - 11-27-06 13:48 
----------------------------------------------------------------------
Pff... it was Some and None -- buggy StripGenericMark. So the problem is
elsewhere.

----------------------------------------------------------------------
 malekith - 11-28-06 12:32 
----------------------------------------------------------------------
Resolved on trunk, r7014

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-25-06 22:44 nazgul         New Issue                                    
11-27-06 13:09 malekith       Note Added: 0001526                          
11-27-06 13:48 malekith       Note Added: 0001527                          
11-28-06 12:32 malekith       Status                   new => resolved     
11-28-06 12:32 malekith       Resolution               open => fixed       
11-28-06 12:32 malekith       Assigned To               => malekith        
11-28-06 12:32 malekith       Note Added: 0001530                          
======================================================================