git.iko.soy/Idris-dev
on master help sign in
Add GHC 8.4 fixes to CHANGELOG
069f344Niklas Larsson
CHANGELOG.md+1
compare with master
unifiedsplit
@@ -18,6 +18,7 @@
18+ Added a switch `--allow-capitalized-pattern-variables` to optionally allow capitalized pattern variables after they were prohibited in 1.2.0.
18+ Added a switch `--allow-capitalized-pattern-variables` to optionally allow capitalized pattern variables after they were prohibited in 1.2.0.
19+ REPL now prints an error message if program compiled by `:exec` terminates
19+ REPL now prints an error message if program compiled by `:exec` terminates
20 abnormally.
20 abnormally.
21+* Idris now builds with GHC 8.4.
21
22
22# New in 1.2.0
23# New in 1.2.0
23
24