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

Update CHANGELOG

Browse Source
This commit is contained in:
Edwin Brady 2021-06-27 16:33:04 +01:00
parent 627bce068e
commit 5a84623629
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
CHANGELOG.md
View File

@ -1,5 +1,16 @@
# Changelog
## [Next version]
### Compiler changes
* Added incremental compilation, using either the `--inc` flag or the
`IDRIS2_INC_CGS` environment variable, which compiles modules incrementally.
In incremental mode, the final build step is much faster than in whole
program mode (the default), at the cost of runtime performance being about
half as good. The `--whole-program` flag overrides incremental compilation,
and reverts to whole program compilation.
## v0.4.0
### Syntax changes