@neauoire i guess the checker doesn't know that ?&exit is a possible exit? i would have assumed that it follows both paths and then attempts to unify them later.
Top-level
@neauoire i guess the checker doesn't know that ?&exit is a possible exit? i would have assumed that it follows both paths and then attempts to unify them later. No comments
|