fix let declaration

anoma · Nov 25, 2024 · caf0229 · caf0229
1 parent a470c62
commit caf0229
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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