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

[Julien Fischer]

On Thu, 21 Apr 2022, Zoltan Somogyi wrote:

>
> 2022-04-21 11:02 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>>> 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.
>
> Given that most of the work is actually done by the modules in the make_hlds
> package, I think "mercury_compile_make_hlds" would make more sense.
> Do you agree?

Sure, that seems fine as well.

Julien.