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

Ralph Becket rafe at csse.unimelb.edu.au
Wed Nov 28 17:19:31 AEDT 2007


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



More information about the reviews mailing list