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

[Zoltan Somogyi]

On 20-May-2011, Peter Wang <novalazy at gmail.com> wrote:
> 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,

I have another diff that does the same thing, WITHOUT requiring any pragmas.
It is in /home/taura/workspaces/zs/ws7. I have not finished testing it yet.
We should discuss this in person or on the phone, once we have looked at
each other's work, say on monday.

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