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

Ralph Becket rafe at csse.unimelb.edu.au
Thu Nov 29 09:19:32 AEDT 2007

Julien Fischer, Wednesday, 28 November 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?

The compiler was trying to report a type error.  The expression in
question was the construction of a closure P of the form

	P = p(X1, X2, X3)

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