From 8f34006c83ef17fbe08c681a93c69f8bdbf7c4ee Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 22 Feb 2024 00:35:45 +0100 Subject: [PATCH] Changes --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index d20cad8014..15317da6fa 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -9,6 +9,7 @@ ## Bug fixes * Compiler: fix global dead code elimination in a toplevel context * Compiler: fix exit-loop-early optim in presence of closure (#1561) +* Compiler: remove quadratic behavior in generate.ml (#1531, #1567) # 5.6.0 (2024-01-02) - Lille