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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=590> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   590
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-22-2005 22:11 CET
Last Modified:              12-22-2005 22:11 CET
======================================================================
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");
        }
}

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-22-05 22:11 nazgul         New Issue                                    
======================================================================