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