[mercury-users] partial instantiation?

[Tomas By]

On Mon, April 19, 2010 22:10, Ondrej Bojar wrote:
> How about [replacing the parameters with identifiers]

I had that thought myself, briefly. There is a `var' module that
does some of this work I think.

Feels a bit over-engineered, though.

/Tomas


--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------