remove HasLetDefs

anoma · Jul 3, 2024 · 67fff1e · 67fff1e
1 parent 9579abd
commit 67fff1e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 105 deletions.
diff --git a/src/Juvix/Compiler/Internal/Data/InfoTable.hs b/src/Juvix/Compiler/Internal/Data/InfoTable.hs
@@ -23,7 +23,6 @@ where
 import Data.HashMap.Strict qualified as HashMap
 import Juvix.Compiler.Internal.Extra
 import Juvix.Compiler.Internal.Extra.CoercionInfo
-import Juvix.Compiler.Internal.Extra.HasLetDefs
 import Juvix.Compiler.Internal.Extra.InstanceInfo
 import Juvix.Compiler.Internal.Pretty (ppTrace)
 import Juvix.Compiler.Store.Internal.Data.FunctionsTable
@@ -69,7 +68,7 @@ extendWithReplExpression e =
         )
     )
 
-letFunctionDefs :: (HasLetDefs a) => a -> [FunctionDef]
+letFunctionDefs :: (HasExpressions a) => a -> [FunctionDef]
 letFunctionDefs e =
   concat
     [ concatMap (toList . flattenClause) _letClauses

diff --git a/src/Juvix/Compiler/Internal/Extra/Base.hs b/src/Juvix/Compiler/Internal/Extra/Base.hs
@@ -197,6 +197,9 @@ subsInstanceHoles s = umapM helper
       where
         e = toExpression le
 
+letDefs :: (HasExpressions a) => a -> [Let]
+letDefs a = [l | ExpressionLet l <- a ^.. allExpressions]
+
 subsHoles :: forall r a. (HasExpressions a, Member NameIdGen r) => HashMap Hole Expression -> a -> Sem r a
 subsHoles s = umapM helper
   where

diff --git a/src/Juvix/Compiler/Internal/Extra/HasLetDefs.hs b/src/Juvix/Compiler/Internal/Extra/HasLetDefs.hs