[m-dev.] for discussion: higher-order `any' insts

[Mark Brown]

On 14-Jan-2008, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> On Wed, 9 Jan 2008, Mark Brown wrote:
>
>> Programming with solver types and higher-order code in Mercury is a bit
>> painful at the moment, because we have no way of safely handling pred and
>> func expressions that may bind non-local solver variables.  The current
>> solution is to make such higher-order values impure (which, unfortunately,
>> tends to then spread everywhere).
>>
>> The code below implements an alternative approach.  This is designed to
>> allow us to use solver types and higher-order code without resorting to
>> impurity.
>>
>> Feedback is welcome (and happy new year, everyone :-))
>
> The proposed new insts (and the implementation) look fine.
> I have a couple of reservations about the change to the reference
> manual, but I'm happy for you to commit as is (I need to think about it
> a bit.)

Discussed in person.

>
> You should add an entry to the NEWS file for the new feature as well.

Done.

I've committed this now.

Cheers,
Mark.

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