[m-rev.] For review: fix a compiler abort

[Ralph Becket]

Julien Fischer, Wednesday, 28 November 2007:
> 
> On Wed, 28 Nov 2007, Ralph Becket wrote:
> 
> >Ralph Becket, Wednesday, 28 November 2007:
> >>Estimated hours taken: 8
> >>Branches: main
> >>
> >>Fix a bug where the compiler was throwing an exception trying to print 
> >>out some
> >>error messages where the builtin module qualifier had been stripped from 
> >>the
> >>sym_names.
> >>
> >>compiler/mode_util.m:
> >>	In mode_get_insts_semidet/4, if a user-defined mode name is
> >>	unqualified and the lookup fails, qualify the name with
> >>	the mercury_public_builtin_module and try again.
> >
> >I should further explain that simply
> >- not stripping the builtin qualifiers and
> >- not printing builtin qualifiers
> >doesn't work because the .int files expect fully qualified names.
> 
> Do you mean that the .int files should *contain* fully qualified names?

Yes, that's what I mean.


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------