Claus Reinke <claus.reinke_at_talk21.com> writes:
> is my expectation wrong, or PAKCS? what do other Curry implementations
> return here?
In Sloth, we don't allow partial applications to be in NF, so it returns "No
result"
Allowing them, the result is (somewhat simplified):
((wrap (_8596=:=,0),_8596),(b_lambda_e_lambda0 _8670,_8670))
So wrt to your comments:
> i would expect a and b to be equivalent, as the evaluation of and choice for
> wrap's first parameter shouldn't happen until we have a complete application
> and demand for its result ("if a rule is applied to a function call").
So I think it behaves as you expected.
Regards,
Emilio
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on So Mai 06 2007 - 17:56:00 CEST