From bab9bfd0950676e1d3483090bacb29411a5bc618 Mon Sep 17 00:00:00 2001 From: Giuseppe Lomurno Date: Tue, 18 Aug 2020 18:41:45 +0200 Subject: [PATCH] Updated CHANGELOG.md --- CHANGELOG.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index f0e560ff6..a3bfb4200 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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 ` 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 ----------------------------