type f any -> o.
main :-
P = x\x, % p1
pi x\ f x = A (P x), % p2
A = f. % p3
Error msg: Anomaly: Non deterministic pruning, delay to be implemented: t=A1 (≪.X0≫_0 c1), delta=0
I would expect that after p1, p2 becomes pi x\ f x = A x, so that A := (x\ f x) or better A := f
This code does not work:
Error msg:
Anomaly: Non deterministic pruning, delay to be implemented: t=A1 (≪.X0≫_0 c1), delta=0
I would expect that afterp1
,p2
becomespi x\ f x = A x
, so thatA := (x\ f x)
or betterA := f