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

[Julien Fischer]

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.

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