Hi Andre,

Thanks for a quick response:

> You can use
>    || (e->symtree && UNLIMITED_POLY (e->symtree->n.sym));

Ah yes, you are quite right.

> here. UNLIMITED_POLY does all the checks. I am still wondering whether this is
> necessary? The symtree is set for expr_type == { EXPR_VARIABLE, EXPR_FUNCTION 
> }
> both of those should correctly resolve to an unlimited poly ts. Is this a
> left-over?

For reasons I don't understand, sometimes the expression type comes
through as BT_DERIVED, whilst the symbol is BT_CLASS. I could repair
this in resolve.c(fixup_array_ref) if you think that would be cleaner.

> I am regression testing my polymorhpic class patch at the moment, therefore I
> can't test.

OK - I can wait. I have quite a few other things to do :-(



The difference between genius and stupidity is; genius has its limits.

Albert Einstein

Reply via email to