[m-rev.] diff: fix mantis bug 452

Zoltan Somogyi zoltan.somogyi at runbox.com
Thu Feb 22 14:03:00 AEDT 2018



On Thu, 22 Feb 2018 14:00:20 +1100, Peter Wang <novalazy at gmail.com> wrote:

> On Thu, 22 Feb 2018 13:32:50 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > A simple fix.
> > 
> > diff --git a/tests/hard_coded/bug452.m b/tests/hard_coded/bug452.m
> > index e69de29..f2cf7f6 100644
> > --- a/tests/hard_coded/bug452.m
> > +++ b/tests/hard_coded/bug452.m
> > @@ -0,0 +1,88 @@
> > +%---------------------------------------------------------------------------%
> > +% vim: ts=4 sw=4 et ft=mercury
> > +%---------------------------------------------------------------------------%
> > +%
> > +% This program used to get a compiler abort in hlc.gc.
> > +% This happened because find_int_lookup_switch_params in switch_util.m
> > +% said that the inner switch on Thing in classify/2 below needed a bit vector
> > +% check. It said so because the inner switch does not cover Thing = nothing.
> > +% However, it does *need* to cover Thing = nothing, because the inner switch
> 
> does *not* need

Fixed.

> Thanks for the fix.

You are welcome.

Zoltan.




More information about the reviews mailing list