idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity

Updated CHANGELOG.md

Browse Source
This commit is contained in:
Giuseppe Lomurno 2020-08-18 18:41:45 +02:00 committed by G. Allais
parent 63c15352f4
commit bab9bfd095
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
CHANGELOG.md
View File

@ -1,3 +1,26 @@
Changes since Idris 2 v0.2.1
----------------------------
Command-line options changes:
* Added `--color` and `--no-color` options for colored terminal output.
Color is enabled by default.
* Added `--consolewidth <auto|n>` option for printing margins. By default the
`auto` option is selected, the result is that the compiler detects the current
terminal width and sets it as the option value, otherwise a user value can be
provided. An explicit `0` has the effect of simulating a terminal with
unbounded width.
Compiler changes:
* Added primitives to the parsing library used in the compiler to get more precise
boundaries to the AST nodes `FC`.
REPL/IDE mode changes:
* Added `:color (on|off)` option for colored terminal output.
* Added `:consolewidth (auto|n)` option for printing margins. Mirrors the command line option.
Changes since Idris 2 v0.2.0
----------------------------