[Bug-kawa] [bug #31355] warn-access-unknown-field

[Per Bothner]

Follow-up Comment #4, bug #31355 (project kawa):

"I think an full error is a too much in this case."
Note that it was an error in the "normal" case, even before my fix.  But you
may be right.

I agree that taking instance? and similar tests into account when checking
for type errors would be highly desirable - some Scheme type-checkers do this.
 I think this makes sense as part of SSA analysis, which is one my wish-list.

For Kawa 1.11 I'm leaning towards adding a --warn-unknown-member option, and
make missing field warning/errors be triggered by that warning.


    _______________________________________________________

Reply to this item at:

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

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