Update CHANGELOG with the closure work.
commit40a58fe55d5e6afd8d830ceded932fb68da676f2
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 2 Apr 2018, 19:17 (9 years ago)
parentc2af016
CHANGELOG.md+2−1
@@ -18,7 +18,8 @@
1818+ Added a switch `--allow-capitalized-pattern-variables` to optionally allow capitalized pattern variables after they were prohibited in 1.2.0.
1919+ REPL now prints an error message if program compiled by `:exec` terminates
2020 abnormally.
21−* Idris now builds with GHC 8.4.
21++ Idris now builds with GHC 8.4.
22++ In the C backend, the representation of Idris values at runtime has been reworked.
2223
2324# New in 1.2.0
2425