[m-rev.] Fix compiling of injection under the IL backend

[Julien Fischer]

On Thu, 4 Jan 2007, Jonathan Morgan wrote:

> Estimated hours taken: 2.5
> Branches: main
>
> Fix a bug in the IL backend, which appeared in the compilation of
> injection.delete_values with inlining on.  The code generator was
> sometimes generating functions and predicates which only differed in
> the return type when inlining higher order terms.  This caused
> duplicate method errors in the generated IL.  The fix is to alter the
> name mangling routine so that it always distinguishes between
> functions and predicates.
>
> compiler/mlds_to_il.m:
>   Add "_f" to all functions when mangling MLDS procedure names.

Committed.  Thanks for that.

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