Two notes on Eta expansion

[Zdenek Tronicek]

> Question, is this legal ?
>
> { Double, Double => Double } p5 = Eta#m2(Double, Double...);

In my opinion, this should NOT be legal. The compiler should require  
variable-length argument list in the function type:

{ Double, Double... => Double } p5 = Eta#m2(Double, Double...);

Z.
-- 
Zdenek Tronicek
Department of Computer Science and Engineering
Prague                   tel: +420 2 2435 7410
http://cs.felk.cvut.cz/~tronicek