[m-rev.] for review: stop using dummy burdened_modules

[Julien Fischer]

On Sat, 25 Jan 2025 at 16:56, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> Do not use dummy burdened_modules.
>
> compiler/deps_map.m:
>     When we couldn't read a file during the computation of dependencies,
>     we used to add a dummy burdened_module to the deps_map. This never
>     really made sense, so stop doing that.
>
>     Delete the maybe_dummy_burdened_module flags from entries in the deps_map.
>     They are no longer needed, since we no longer add dummy burdened modules
>     to the deps_map.
>
> compiler/generate_dep_d_files.m:
> compiler/generate_mmakefile_fragments.m:
> compiler/mercury_compile_main.m:
> compiler/write_deps_file.m:
>     Conform to the changes above.
>
>     In one case, delete a comment that has been obsolete for a while.

...

That's fine.

Julien.