[mercury-users] Idea for a currying library

[Ralph Becket]

> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> 
> Type inference for lambda-expressions is indeed the default.
> Mode and determinism inference for lambda expressions is something
> that the compiler just doesn't know how to do; even with the 
> `--infer-all'
> option, you still need to specify the modes and determinism of lambda
> expressions explicitly.

Is this a basic research problem or is it just the case that the
appropriate functionality hasn't been added to the compiler yet?

Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------