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

[Zoltan Somogyi]

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?

Zoltan.