From 049caf48ecfc0462d678eef115e37907bf51e783 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Wed, 15 May 2024 19:19:03 +0200 Subject: [PATCH] comment --- src/Juvix/Compiler/Concrete/Print/Base.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Juvix/Compiler/Concrete/Print/Base.hs b/src/Juvix/Compiler/Concrete/Print/Base.hs index efb99ab9d3..7c76d225da 100644 --- a/src/Juvix/Compiler/Concrete/Print/Base.hs +++ b/src/Juvix/Compiler/Concrete/Print/Base.hs @@ -32,7 +32,8 @@ import Juvix.Prelude.Pretty (annotate, pretty) import Juvix.Prelude.Pretty qualified as P --- An expression is `Top` if it is: ---- * immediately at the top of a function definition, +--- * immediately at the top of a function (clause) body (including in let +--- bindings), --- * the body of a `Top` let expression, --- * the else branch body of a `Top` if expression, --- * the last branch body of a `Top` case expresssion.