[nem-bug] [Nemerle 0000588]: Nullrefence in runtime for yields in try block

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=588> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   588
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-22-2005 21:23 CET
Last Modified:              05-22-2006 18:03 CEST
======================================================================
Summary:                    Nullrefence in runtime for yields in try block
Description: 
using System;
using System.Collections;
using Nemerle.Imperative;

public class Test
{
	public Foo (a : int) :  IEnumerable
	{
		try {
			try {
				yield a;
			} finally {
				Console.WriteLine ("Hello World");
			}

			Console.WriteLine ("Next block");

			try {
				yield a * a;
			} finally {
				Console.WriteLine ("Boston");
			}
		} finally {
			Console.WriteLine ("Outer finally");
		}

		Console.WriteLine ("Outer block");
	}
}

class X
{
	static Main () : int
	{
		def test = Test ();

		def list = ArrayList ();
		foreach (o in test.Foo (5))
			list.Add (o);
          
		return 0;
	}
}

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

----------------------------------------------------------------------
 malekith - 05-08-06 12:04 
----------------------------------------------------------------------
It seems to work for me on trunk, will check with PEVerify.

----------------------------------------------------------------------
 malekith - 05-08-06 13:55 
----------------------------------------------------------------------
It verifies fine.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-22-05 21:23 nazgul         New Issue                                    
05-05-06 13:27 malekith       Status                   new => assigned     
05-05-06 13:27 malekith       Assigned To               => malekith        
05-08-06 12:04 malekith       Note Added: 0001249                          
05-08-06 12:04 malekith       Status                   assigned => feedback
05-08-06 12:04 malekith       Description Updated                          
05-08-06 13:55 malekith       Status                   feedback => resolved
05-08-06 13:55 malekith       Resolution               open => fixed       
05-08-06 13:55 malekith       Note Added: 0001251                          
05-08-06 13:55 malekith       Description Updated                          
05-22-06 18:03 nazgul         Status                   resolved => closed  
======================================================================