[nem-bug] [Nemerle 0000531]: Using generic method inside try-block fails to compile

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=531> 
======================================================================
Reported By:                steffen
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   531
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   high
Status:                     confirmed
======================================================================
Date Submitted:             09-14-2005 17:21 CEST
Last Modified:              10-18-2005 23:49 CEST
======================================================================
Summary:                    Using generic method inside try-block fails to
compile
Description: 
The following code fails to compile (using nemerle and mono svn head):

public class A['a] {
    public Nothing():void {}

    public Fun():void {
        try {
            Nothing();
        } finally {
        }
    }
}



** ERROR **: file reflection.c: line 835 (method_encode_clauses):
assertion failed: (ex_info->handlers)
aborting...

I don't know whether this is a bug in nemerle or in mono, however the
following C#-code compiles cleanly:

public class A<T> {
  public void Nothing() {}

  public void Fun() {
    try {
      Nothing();
    } finally {
    }
  }
}

public class M {
  public static void Main() {}
}

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

----------------------------------------------------------------------
 nazgul - 09-15-05 16:59 
----------------------------------------------------------------------
It compiles, runs and verifies fine on MS.NET. 
This should be probably reported to mono as a bug.
Although if equivalent C# program compiles fine with gmcs, then we could
find out what is the difference in our usage of S.R.E. and maybe fix it.

Anyway, it needs investigation.

----------------------------------------------------------------------
 malekith - 10-18-05 23:49 
----------------------------------------------------------------------
It seems the bug is caused by generic class initialization happenning at
the place where this is first used. This seems to require try-blocks to be
closed, and thus throws an exception.

I'll fixing it tomorrow either at our or mono side.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-14-05 17:21 steffen        New Issue                                    
09-15-05 16:59 nazgul         Note Added: 0000972                          
10-03-05 19:34 nazgul         Status                   new => confirmed    
10-04-05 21:01 nazgul         Priority                 normal => high      
10-18-05 23:49 malekith       Note Added: 0000996                          
======================================================================