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

Zoltan Somogyi zs at csse.unimelb.edu.au
Fri May 20 16:12:32 AEST 2011

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.

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