[m-rev.] for post-commit review: special LLDS code generation for ground terms

[Zoltan Somogyi]

On 05-Jan-2009, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>> +:- type active_ground_term == pair(rval, llds_type).
>
> One small stylistic issue, I would use:
>
> 	:- type active_ground_term
> 		--->	active_ground_term(rval, llds_type).
>
> rather than the definition in the diff.

Actually, that is exactly the original definition I started with. However,
lists of values of this type get passed to a predicate in global_data.m
that applies preexisting predicates in assoc_list.m to them, which is
why I switched back to pairs.

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