Incorrect printing of in
clause of match
#16919
Labels
kind: bug
An error, flaw, fault or unintended behaviour.
in
clause of match
#16919
shouldn't it be
in (@eq _ _ n)
since we have Printing All?The text was updated successfully, but these errors were encountered: