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

[Julien Fischer]

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?
(If not, what do you mean by expect?)

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------