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

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Nov 28 18:08:13 AEDT 2007


On Wed, 28 Nov 2007, Ralph Becket wrote:

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

Do you have an example of some code where this is happening?
(Are lambda expressions involved?)
What stage is the compiler up to when the exception is thrown?

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



More information about the reviews mailing list