aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/EqNotation.out
blob: 41500a75b922b9e3668786a8f1aa6dab96268c5f (plain) 
1
2
3

The command has indeed failed with message:
Cannot infer the implicit parameter A of eq whose type is 
"Type".
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:16:43 +0000