@@ -45,6 +45,7 @@
45 * Generalised many combinators to use an unknown `commit` flag where possible.
45 * Generalised many combinators to use an unknown `commit` flag where possible.
47## Tool Updates
47## Tool Updates
48+ Private functions are no longer visible in the REPL except for modules
49+ Private functions are no longer visible in the REPL except for modules
49 that are explicitly loaded.
50 that are explicitly loaded.
50+ The --interface option now creates CommonJS modules on the node backend.
51+ The --interface option now creates CommonJS modules on the node backend.
@@ -52,8 +53,12 @@
52 as they were given in the source files.
53 as they were given in the source files.
53+ Backslash, braces and percent symbols are now correctly pretty printed
54+ Backslash, braces and percent symbols are now correctly pretty printed
56++ Parse errors have a new format, similar to GHC 8.2's default, due to a
57+ switch from Trifecta to Megaparsec for parsing. This could possibly cause
58+ some subtle deviations in parsing from previous versions of Idris.
56## Packaging Updates
60## Packaging Updates
57+ Package names now only accept a restrictive charset of letters, numbers and the `-_` characters.
62+ Package names now only accept a restrictive charset of letters, numbers and the `-_` characters.
58 Package names are also case insensitive
63 Package names are also case insensitive