[m-rev.] diff: fix warnings from state variable transformation

[Julien Fischer]

On Wed, 20 Oct 2004, Zoltan Somogyi wrote:

> Fix some annoying warnings caused by the state variable transformation.
> They occurred when compiling the source code of elk, my draft parser generator.
>
> compiler/hlds_goal.m:
> 	Add a goal feature that marks the goal as one that shouldn't have
> 	singleton warnings generated for it, and document the rationale for it.
>
> 	Fix some old XXXs.
>
> compiler/make_hlds.m:
> 	Respect that flag when looking for singletons.
>
> 	Attach the flag to the unifications created to ensure that all branches
> 	of a branched constrol structure end up with the same version of a
> 	state variable.
>
> compiler/saved_vars.m:
> 	Handle the new goal feature.
>
Could you please add a test case for this, otherwise that looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------