[m-rev.] for review: mercury_compile_pre_hlds.m

[Julien Fischer]

On Thu, 21 Apr 2022, Zoltan Somogyi wrote:

> Carve mercury_compile_pre_hlds.m out of mercury_compile_main.m.
> 
> compiler/mercury_compile_main.m:
> compiler/mercury_compile_pre_hlds.m:
>     As above.

I suggest mercury_compile_build_hlds rather than mercury_compile_pre_hlds.

>     Note some comment rot.
> 
> compiler/top_level.m:
> compiler/Mercury.options:
>     Add the new module.
> 
> compiler/notes/compiler_design.html:
>     Document the new module
> 
> library/list.m:
>     Add a new variant of an existing utility predicate that can simplify
>     some of the moved code, together with some variants (for symmetry
>     with the existing code).
> 
> NEWS:
>     Announce the additions to the library.

That's fine otherwise.

Julien.