[nem-en] unused untyped local functions

[Dmitry Ivankov]

When typing should fail on unused functions, and why?

These functions are just reported as unused
def f(x) {x}
def f(x) {x + 1}

And if these are unused we get "error, typing fails"
def f(x) {x.member} //on accessing member
def f(x) {x + x} //on operator

The most interesting is (x + 1) vs (x + x), because they are almost the same
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /mailman/pipermail/devel-en/attachments/20070223/29faf49a/attachment.html