[m-rev.] for review: ext_src

[Julien Fischer]

On Mon, 17 Aug 2020, Zoltan Somogyi wrote:

> For review by anyone.

> Partition extensions into ".m" and "all others".
> 
> This is a first step towards a much finer grained partition.
> 
> compiler/file_names.m:
>     Split the ext type into ext_src and ext_src, as mentioned above.

       ... into ext_src and ext_other ...

>     Add the first predicate for checking whether a string falls into
>     a given category of extensions.
>
>     Add an XXX proposing a better solution for an old problem that does not
>     actually arise in practice.
>

...

That looks fine otherwise.

Julien.