[m-rev.] for review: further polymorphism stuff

[Mark Brown]

On 09-Jan-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> For review by Mark.
> 
> Estimated hours taken: 3
> Branches: main
> 
> During the initial stage of the polymorphism transformation maintain
> a more strict separation between the modes for the different kinds
> of introduced arguments.
> 
> Add a new data structure to do this.  The new data structure is called a
> poly_arg_vector, which is similar to a proc_arg_vector but is intended to
> represent only those arguments that have been introduced by polymorphism.
> The new data structure is implemented as a proc_arg_vector in order to
> ensure that the calling convention is consistent across both structure.

An alternative would be to have poly_arg_vector hold the first six fields
of proc_arg_vector, and for proc_arg_vector to contain a poly_arg_vector.

Perhaps we can discuss this in person tomorrow?

Cheers,
Mark.

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