scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

Published 20 hours ago • verified publisher icon mthom

Term expansion is applied twice

Open hurufu opened this issue 4 months ago • 3 comments

Expansion is applied twice for every term, which is not ok, if there are any side-effects like in #2602. This leads to duplicated warnings on the console.

hurufu avatar Oct 05 '24 12:10 hurufu