From 5a8462362943e36f6843cfdb103e9bac91a28f44 Mon Sep 17 00:00:00 2001
From: Edwin Brady <ecb10@st-andrews.ac.uk>
Date: Sun, 27 Jun 2021 16:33:04 +0100
Subject: [PATCH] Update CHANGELOG

---
 CHANGELOG.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 21d042c4c..4f88f27a8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -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