ormolu/expected-failures/Agda.txt
2020-06-26 14:04:47 +02:00

12 lines
402 B
Plaintext

Formatting is not idempotent:
dist/build/Agda/Syntax/Parser/Lexer.hs<rendered>:1602:17
before: " = (check_ac"
after: " =\n "
Please, consider reporting the bug.
Formatting is not idempotent:
src/full/Agda/Syntax/Translation/InternalToAbstract.hs<rendered>:769:4
before: " nes\n\n "
after: " nes\n\n -- Andreas"
Please, consider reporting the bug.