[m-rev.] for post-commit review: fix mantis bug #567

[Peter Wang]

On Wed, 08 Nov 2023 02:33:52 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by Peter.
> 
> Zoltan.

> Fix a bug in --merge-code-after-switch.
> 
> compiler/simplify_goal_conj.m:
>     Document the reason for this bug, Mantis bug #567, and fix it.
> 
> tests/hard_coded/bug567.{m,exp}:
>     The Mantis test case, renamed and with a long explanation of the bug
>     added.
> 
> tests/hard_coded/Mmakefile:
> tests/hard_coded/Mercury.options:
>     Enable the new test case.

Thanks, that looks fine.

Peter