From caf02298516e415c11a2d24004940047eba1d965 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Mon, 25 Nov 2024 11:38:44 +0100
Subject: [PATCH] fix let declaration

---
 src/Juvix/Compiler/Internal/Translation/FromConcrete.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs b/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs
index e1b2504167..5d4c82e69e 100644
--- a/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs
+++ b/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs
@@ -2,7 +2,6 @@ module Juvix.Compiler.Internal.Translation.FromConcrete
   ( module Juvix.Compiler.Internal.Translation.FromConcrete.Data.Context,
     fromConcrete,
     DefaultArgsStack,
-    goTopModule,
     fromConcreteExpression,
     fromConcreteImport,
   )
@@ -577,7 +576,7 @@ deriveEq DerivingArgs {..} = do
   let body =
         Internal.ExpressionLet
           Internal.Let
-            { _letClauses = pure (Internal.LetFunDef lamDef),
+            { _letClauses = pure (Internal.LetMutualBlock (Internal.MutualBlockLet (pure lamDef))),
               _letExpression = mkEq Internal.@@ lam
             }
       ty = Internal.foldFunType _derivingParameters ret