[nem-en] unused untyped local functions

[Michal Moskal]

On 2/23/07, Dmitry Ivankov <divanorama at gmail.com> wrote:
> So type inference is deferred only if both operands are of unknown type?
> I suggest to defer typing if there are overloads that take one known
> parameter.

It might be possible, but if we fail to resolve something, we would
have to fall back to just a single parameter. It would complicate the
deferral logics slightly.

-- 
   Michał