On 6/23/07, Philippe Wang <lists@philippewang.info> wrote:
> Till Varoquaux wrote:
> > Humm... I have a small issue here: I need to get the result of the
> > partial application of a polymorphic function. Since variable are
> > generalized in Let it is generally advised to use eta expansions,
> > (i.e transform to a total application).
> > sometimes eta expansions just won't do the trick, consider:
>
> I think you should not try to "hide" that ugly side effect...
>
Could someone give an example where this "eta-thing" forbids a crash?
I don't remember any example even in Xavier Leroy papers.