> Do we need... 4 (four) messages ? IMHO, the first 2 ones are OK,
> as well as the "terminating" "Static errors were reported in the
> imported library module" message.
> But... do we need a 4th message which is the consequence of
> the previous errors ?
Testing this, I am not seeing the 4th message with Saxon 8.5.1, although it
is there with Saxon 8.5.