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.
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2012 - 17:19:55 CEST