[nem-bug] [Nemerle 0000590]: ICE in Check STV for generic delegates

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=590> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   590
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-22-2005 22:11 CET
Last Modified:              05-05-2006 17:23 CEST
======================================================================
Summary:                    ICE in Check STV for generic delegates
Description: 


using System;

delegate Test[T] (mutable  t : T) :  void;

class Foo[T]
{
        public event MyEvent :  Test[T];

        public Hello (mutable  t : T) :  void
        {
                when (MyEvent != null)
                        MyEvent (t);
        }
}

class X
{
        static do_hello (mutable  hello : string) :  void
        {
                Console.WriteLine ("Hello: {0}", hello);
        }

        static Main () :  void
        {
                mutable  foo =  Foo ();
                foo.MyEvent +=  Test (do_hello);
                foo.Hello ("Boston");
        }
}

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

----------------------------------------------------------------------
 malekith - 05-05-06 17:23 
----------------------------------------------------------------------
Fixed in r6230.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-22-05 22:11 nazgul         New Issue                                    
05-05-06 13:27 malekith       Status                   new => assigned     
05-05-06 13:27 malekith       Assigned To               => malekith        
05-05-06 17:23 malekith       Status                   assigned => resolved
05-05-06 17:23 malekith       Resolution               open => fixed       
05-05-06 17:23 malekith       Note Added: 0001236                          
======================================================================