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
As this is a pretty rare error, we do not add a message for now. This issue can become relevant again when there is an actual example where this error occurs.
In #214 we took the easy way, but we should be able to have better error messages if we do this in unification itself, before adding the substitution.
Though this depends on how our error reporting is implemented.
The text was updated successfully, but these errors were encountered: