@@ -81,6 +81,8 @@
81+ Parse errors have a new format, similar to GHC 8.2's default, due to a
81+ Parse errors have a new format, similar to GHC 8.2's default, due to a
82 switch from Trifecta to Megaparsec for parsing. This could possibly cause
82 switch from Trifecta to Megaparsec for parsing. This could possibly cause
83 some subtle deviations in parsing from previous versions of Idris.
83 some subtle deviations in parsing from previous versions of Idris.
84++ Non-parse errors and warnings have mostly been converted to mimic the parse
84+ Many more errors now report beginning *and* ending position (which may be
86+ Many more errors now report beginning *and* ending position (which may be
85 on different lines), instead of just a single point. The format is
87 on different lines), instead of just a single point. The format is
86 `Foo.idr:9:7-15:` if ending column is on the same line or
88 `Foo.idr:9:7-15:` if ending column is on the same line or