comment

anoma · May 15, 2024 · 049caf4 · 049caf4
1 parent c5a1356
commit 049caf4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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.