@@ -65,6 +65,7 @@ extra-source-files:
65
65
tests/ParserTests/ipi/transformers.expr
66
66
tests/ParserTests/ipi/transformers.format
67
67
tests/ParserTests/regressions/MiniAgda.cabal
68
+ tests/ParserTests/regressions/MiniAgda.check
68
69
tests/ParserTests/regressions/Octree-0.5.cabal
69
70
tests/ParserTests/regressions/Octree-0.5.expr
70
71
tests/ParserTests/regressions/Octree-0.5.format
@@ -87,16 +88,19 @@ extra-source-files:
87
88
tests/ParserTests/regressions/generics-sop.expr
88
89
tests/ParserTests/regressions/generics-sop.format
89
90
tests/ParserTests/regressions/haddock-api-2.18.1-check.cabal
91
+ tests/ParserTests/regressions/haddock-api-2.18.1-check.check
90
92
tests/ParserTests/regressions/issue-5055.cabal
91
93
tests/ParserTests/regressions/issue-5055.expr
92
94
tests/ParserTests/regressions/issue-5055.format
93
95
tests/ParserTests/regressions/issue-774.cabal
96
+ tests/ParserTests/regressions/issue-774.check
94
97
tests/ParserTests/regressions/issue-774.expr
95
98
tests/ParserTests/regressions/issue-774.format
96
99
tests/ParserTests/regressions/leading-comma.cabal
97
100
tests/ParserTests/regressions/leading-comma.expr
98
101
tests/ParserTests/regressions/leading-comma.format
99
102
tests/ParserTests/regressions/nothing-unicode.cabal
103
+ tests/ParserTests/regressions/nothing-unicode.check
100
104
tests/ParserTests/regressions/nothing-unicode.expr
101
105
tests/ParserTests/regressions/nothing-unicode.format
102
106
tests/ParserTests/regressions/shake.cabal
0 commit comments