[m-rev.] for post-commit review: include modules named in supertypes in .int2 files

[Peter Wang]

On Mon, 07 Jul 2025 19:29:42 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by anyone.
> 
> Zoltan.

> Include modules named in supertypes in .int2 files.
> 
> This fixes a bug that prevented the compilation of another change
> to the compiler I am working on. The commit of that change will ve
> the test case for this fix.
> 
> compiler/comp_unit_interface.m:
>     When computing which modules need to be imported in .int2 files,
>     include modules named by the supertype of an exported subtype.
> 
> compiler/notes/interface_files.html:
>     Fix some documentation errors I found while researching the bug.
> 
> compiler/options.m:
>     Make it possible to test for the presence of this fix in the
>     installed compiler.
> 
> tests/warnings/help_text.err_exp:
>     Expect the new synonym for compiler_sufficiently_recent.

That's fine.

Peter