Can't apply generic specifier to a local function

[ka3a4ok]

Code examle, reprodusing error :

module Program
{
  fun1[T]():T where T:new()
  {
    T()
  }

  Main() : void
  {
    def fun2[T]():T where T:new()
    {
      T()
    }

    def t1=fun1.[int](); //ok
    def t2=fun2.[int](); //Error: don't know how to apply generic specifier to fun2.[?]
  }
}

[NN---]

Same bugs:

https://code.google.com/p/nemerle/issues/detail?id=661
https://code.google.com/p/nemerle/issues/detail?id=838
https://code.google.com/p/nemerle/issues/detail?id=916
https://code.google.com/p/nemerle/issues/detail?id=1335

I think we should disable this feature untill someone fixes all cases.

[VladD2]

The 1335 work well (on .Net 4).
And 661, 838 and 916 in not a bug, really.

[VladD2]

Fixed

[NN---]

1335 Compiles but fails in runtime:

using System.Console;

module M
{
  Main() : void 
  {
    def foo[T]()
    { 
        def bar[S]() where S : T
        {
        }

        bar
    }

    foo()();
  }
}

Unhandled Exception: System.TypeLoadException: Method has circular method type p
arameter constraints.

I disagree, I think those cases are bugs, otherwise we must disable local generic functions.

[VladD2]

OK, you can open new issue for this exemple.