[m-rev.] For review: Annotate construction unifications with regions

[Julien Fischer]

On Tue, 12 Jun 2007, Quan Phan wrote:

> Estimated hours taken: 6.
> Branch: main.
>
> Annotate the construction unifications with regions so that terms can be
> constructed in regions.
>
> compiler/hlds_goal.m:
>        Add construct_in_region constructor to type how_to_construct.
>
> compiler/goal_util.m:
>        Change to work with the above addition.
>
> compiler/hlds_out.m:
>        Change to work with the above addition.
>
> compiler/ml_unify_gen.m:
>        Change so that the compiler is compileable after the addition.
>
> compiler/constructions_in_region.m:
>        New file.
>        Provide the functionality to annotate construction unifications
>        with region.
>
> compiler/rbmm.m:
>        Include the above new module.

Quan and I have discussed this in person.  It needs to be revisited in
the presence of a change to add extra region arguments and region 
creation/removal calls to a procedure.

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