[m-rev.] for review: untupling transformation

[Julien Fischer]

On Mon, 31 Jan 2005, Peter Wang wrote:

> For review by anyone.
>
> Estimated hours taken: 80
> Branches: main
>
> This change adds a --untuple option to the compiler which invokes a new
> transformation pass.  The transformation takes an HLDS structure as its
> input and transforms the locally-defined procedures as follows: if the
> formal parameter of a procedure has a type consisting of a single function
> symbol then that parameter is expanded into multiple parameters (one for
> each field of the functor).  Tuple types are also expanded.  The argument
> lists are expanded as deeply (flatly) as possible.  Calls within the
> same module are updated to use the new versions of the procedures.
>

One thing that is missing here are some test cases for the
`--untuple' option.

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