Re: equality of partial applications

From: Wolfgang Lux <>
Date: Mon, 18 Jun 2012 09:54:46 +0200

I wrote:

>> Hence, in your example it is the application (cast False) that suspends the evaluation.

Maybe I should have been a bit more precise; the suspension is caused during the evaluation of the equality constraint
 ignore False =:= ignore x
where x is the free variable introduced in the ignore function. Here the evaluation of the sub-constraint False =:= x is suspended until x is instantiated to a non-variable term, which of course never happens in your example.


curry mailing list
Received on Mi Jun 20 2012 - 17:19:55 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:12 CEST