From 16b5743d77dbcbd37541a85346fb602fd7e1691f Mon Sep 17 00:00:00 2001 From: imaqtkatt Date: Tue, 12 Mar 2024 11:58:23 -0300 Subject: [PATCH] Adjust automatic optimization section --- docs/lazy-definitions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/lazy-definitions.md b/docs/lazy-definitions.md index 4ebaad98..de3115eb 100644 --- a/docs/lazy-definitions.md +++ b/docs/lazy-definitions.md @@ -40,7 +40,7 @@ This code will work as expected, because `Nat.add` is unrolled lazily only when ### Automatic optimization -HVM-lang carries out [float-combinators](compiler-options#float-combinators) and [linearize-matches](compiler-options#linearize-matches) optimizations through the CLI, which is active by default in strict mode. +HVM-lang carries out [match linearization](compiler-options#linearize-matches) and [combinator floating](compiler-options#float-combinators) optimizations, enabled through the CLI, which is active by default in strict mode. Consider the code below: