Remove commented out trace lines

anoma · Nov 30, 2023 · 5b6a31c · 5b6a31c
1 parent ab4376c
commit 5b6a31c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/PathResolver.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/PathResolver.hs
@@ -328,7 +328,6 @@ addDependency' pkg me resolvedDependency = do
 currentPackage :: (Members '[Files, State ResolverState, Reader ResolverEnv] r) => Sem r PackageInfo
 currentPackage = do
   curRoot <- asks (^. envRoot)
-  -- traceShowM curRoot
   (^. resolverCacheItemPackage) . fromJust <$> getResolverCacheItem curRoot
 
 -- | Returns the root of the package where the module belongs and the path to

diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Checker.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Checker.hs
@@ -814,8 +814,6 @@ inferExpression' hint e = case e of
 
     goLiteral :: LiteralLoc -> Sem r TypedExpression
     goLiteral lit@(WithLoc i l) = do
-      -- traceM (show l)
-
       case l of
         LitNumeric v -> outHole v >> typedLitNumeric v
         LitInteger {} -> do
@@ -850,9 +848,6 @@ inferExpression' hint e = case e of
               from <- getBuiltinName i blt
               ihole <- freshInstanceHole i
               let ty' = fromMaybe ty hint
-              -- traceM (ppTrace from)
-              -- traceM (ppTrace ty)
-              -- traceM (ppTrace ty')
               inferExpression' (Just ty') $
                 foldApplication
                   (ExpressionIden (IdenFunction from))