[Bug-kawa] [bug #36853] Propagate type parameters

[Per Bothner]

Follow-up Comment #5, bug #36853 (project kawa):

The problem in the example in comment #4 doesn't seem to be related to type
parameters.  Note there are no warnings if the function f is inlined.

The problem is that call to f first "validates" (type-checks) the function
(i.e. the lambda) before validating the arguments. Usually, that's what you
want, so you can type-check the actual argument using the specified type of
the formal parameter. But if the formal parameter does't have type specifier,
then you'd like to validate the actual argument, and infer the parameter type
from that.  In principle this shouldn't be too hard, at least when there is
only a single call site, but re-factoring the code to support that looks
tricky.  Another complication is that the same pass also check things like if
a variable is initialized, which makes doing things in the right order even
more difficult.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?36853>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/