> See for yourself: > > Source code: > f x = \y. x + y // This lambda was put by the programmer > ... > f 1 2 // Arity mismatch (but admitted by order) > > Specialize application: > f x = \y. x + y > ... > (f 1) 2 > > Specialize definition: > f x y = x + y > ... > f 1 2 >
So this is exactly what I was proposing. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
