ormolu/expected-failures/Agda.txt

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.
Prevent the equality sign from “disconnecting” comments This resolves a class of idempotence issues when the equality sign happens to be inserted between an element and its comment that follows on the same line. I had to special-case equality sign for this, because all alternative approaches (changing comment association logic or trying to find a more general rule) did not work or fixed this issue yet made other things worse. There is nothing special about the equality sign per se, but it (always?) starts definitions which have their own ‘Located’ wrappers and it is those spans interfere with the logic of comment association (they are detected as AST elements between the “host” element and its comment) on subsequent passes. This results in non-idempotent formatting. The solution is OKish in that it fixes 99% of problems that one will encounter in practice, but I see how an input can be crafted to show that there is still an issue with idempotence. 2020-05-06 16:58:50 +03:00			`Formatting is not idempotent:`
Improve grouping of top-level type signatures 2020-06-26 12:54:26 +03:00			`dist/build/Agda/Syntax/Parser/Lexer.hs<rendered>:1602:17`
Prevent the equality sign from “disconnecting” comments This resolves a class of idempotence issues when the equality sign happens to be inserted between an element and its comment that follows on the same line. I had to special-case equality sign for this, because all alternative approaches (changing comment association logic or trying to find a more general rule) did not work or fixed this issue yet made other things worse. There is nothing special about the equality sign per se, but it (always?) starts definitions which have their own ‘Located’ wrappers and it is those spans interfere with the logic of comment association (they are detected as AST elements between the “host” element and its comment) on subsequent passes. This results in non-idempotent formatting. The solution is OKish in that it fixes 99% of problems that one will encounter in practice, but I see how an input can be crafted to show that there is still an issue with idempotence. 2020-05-06 16:58:50 +03:00			`before: " = (check_ac"`
			`after: " =\n "`
			`Please, consider reporting the bug.`

Compare failing logs with exact expected result This will allow us to test on more code and catch changes in the logs as they happen. 2020-04-14 21:30:40 +03:00			`Formatting is not idempotent:`
Preserve blank lines in ‘let’ and ‘where’ bindings 2020-06-12 15:02:26 +03:00			`src/full/Agda/Syntax/Translation/InternalToAbstract.hs<rendered>:769:4`
Fixed an idempotence issue in type synonym and data declarations 2020-05-07 14:06:40 +03:00			`before: " nes\n\n "`
			`after: " nes\n\n -- Andreas"`
Compare failing logs with exact expected result This will allow us to test on more code and catch changes in the logs as they happen. 2020-04-14 21:30:40 +03:00			`Please, consider reporting the bug.`