-
Notifications
You must be signed in to change notification settings - Fork 35
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Printing of unification rules fails #1010
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Printing unification rules by using
print unif_rule
orverbose
fails.The problem is in Term.term_of_rhs: r.arities.(i) is invalid if i corresponds to a RHS extra variable.
Contrary to what is said in term.ml, r.arities does not provide the arities of the pattern variables bound in the RHS but those in the LHS only.
And the arity is not recorded in scope.ml in the cases M_URHS. In the case of P_Wild, one could use List.length env.
The text was updated successfully, but these errors were encountered: