[nem-en] Re: typeof for unbounded polymorphic type

[Kamil Skalski]

I guess this is because functional types are not covariant.

2007/2/1, Vladimir Reshetnikov <V.Reshetnikov at gmail.com>:
> Why
>
> variant V { | A | B }
> def x = [V.A : void -> V, V.B : void -> V]
>
> works, but either
>
> variant V { | A | B }
> def x = [V.A, V.B] : list[void -> V]
>
> or
>
> variant V { | A | B }
> def x = [V.A, V.B]
>
> does not work?
>
>
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-en
>


-- 
Kamil Skalski
http://nazgul.omega.pl