[m-rev.] for review: direct argument functor type representation

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Jun 13 22:07:13 AEST 2011

On Thu, 26 May 2011, Peter Wang wrote:

> This patch incorporates of those changes, in particular
> preferring to assign primary tags to direct argument functors,
> and more comprehensive sanity checking during code generation.
> ---
> Branches: main
> Implement a type representation optimisation ("direct argument functors"),
> where a functor with exactly one argument can be represented by a tagged
> pointer to the argument value, which itself does not require the tag bits,
> e.g.
> 	:- type maybe_foo ---> yes(foo) ; no.
> 	:- type foo       ---> foo(int, int).  % aligned pointer


That looks fine -- I'm not sure if Zoltan has any additional comments.

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

More information about the reviews mailing list