You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would be good to print values of all variables in the predicate which implement Show. Maybe also narrowing down which clause of the predicate failed (assuming it is a bunch of clauses &&-ed together, which I guess will be a common pattern).
The text was updated successfully, but these errors were encountered:
Would be good to print values of all variables in the predicate which implement
Show
. Maybe also narrowing down which clause of the predicate failed (assuming it is a bunch of clauses&&
-ed together, which I guess will be a common pattern).The text was updated successfully, but these errors were encountered: