[mercury-users] Brokenness with unique modes and impure lambda expressions

[Julien Fischer]

On Wed, 3 Aug 2005, Julien Fischer wrote:

>
> On Wed, 3 Aug 2005, Peter Hawkins wrote:
>
> > Hi...
> >
> > Why doesn't this work?
> >
> Because the compiler is generating an internal representation for
> the lambda expression 'F' in get_closure that breaks its own
> purity rules.
>

Actually, that description was just confusing it doesn't break any of
the purity rules, it justs places a unification that needs to be
scheduled after the impure goal before it and then realises
that it cannot reorder the unification goal because it can't
move it relative to the impure goal.

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