[m-rev.] for post-commit review: give "current dir" extensions their own categories

[Peter Wang]

On Tue, 06 Jun 2023 14:14:54 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> 
> On Tue, 6 Jun 2023, Zoltan Somogyi wrote:
> 
> >
> > On 2023-06-06 03:39 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com> wrote:
> >>> +    ;       newext_mh(string)
> >>> +            % Machine-dependent header files for generated C code.
> >>> +            % The extension string is ".mh".
> >>
> >> What do .mh files contain that is machine dependent (other than the
> >> comment at their head containing FullArchName)?
> >
> > I don't know. I do remember that .mih stands for "machine independent header",
> > and .mh lacks the "i". To the best of my knowledge, Fergus never documented
> > his rationale of what goes into each kind of header file.
> 
> I always though that .mh == Mercury header
> and .mih == Mercury internal header.

The .mh/.mih distinction was introduced in commit ac5c98bda
by Simon Taylor.

Peter