Skip to content

Commit

Permalink
fix(logging): Remove old debugPretty calls
Browse files Browse the repository at this point in the history
  • Loading branch information
bristermitten committed May 31, 2024
1 parent 33a72c2 commit 64edc03
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 5 deletions.
1 change: 0 additions & 1 deletion src/Elara/AST/Module.hs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,6 @@ import Elara.Data.Pretty
import Elara.Data.Pretty.Styles qualified as Style
import Elara.Data.TopologicalGraph
import Optics (traverseOf_)
import Print (debugPretty)
import Unsafe.Coerce
import Prelude hiding (Text)

Expand Down
3 changes: 0 additions & 3 deletions src/Elara/ToCore.hs
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,6 @@ moduleToCore vt (Module (Located _ m)) = runReader vt $ do
pure $ Just $ CoreValue $ NonRecursive (var, v')
TypeDeclaration tvs (Located _ (ADT ctors)) (TypeDeclAnnotations _ kind) -> do
let tyCon = TyCon declName (TyADT (ctors ^.. each % _1 % unlocated % to (fmap nameText)))
debugPretty declName
registerTyCon tyCon
ctors' <- for ctors $ \(Located _ n, t) -> do
t' <- traverse (typeToCore . fst) t
Expand Down Expand Up @@ -186,7 +185,6 @@ typeToCore (Type.Scalar _ Scalar.Unit) = pure $ ConTy unitCon
typeToCore (Type.Scalar _ Scalar.Char) = pure $ ConTy charCon
typeToCore (Type.Scalar _ Scalar.Bool) = pure $ ConTy boolCon
typeToCore (Type.Custom sr n args) = do
debugPretty sr
args' <- traverse typeToCore args
con' <- lookupTyCon n
let con = Core.ConTy con'
Expand Down Expand Up @@ -309,7 +307,6 @@ desugarMatch e pats = do
where
patternToCore :: HasCallStack => InnerToCoreC r => TypedPattern -> Sem r (Core.AltCon, [Core.Var])
patternToCore (Pattern (Located _ p, t)) = do
-- debugPretty ("ptc" :: Text, p, t)
t' <- typeToCore t
case p of
AST.IntegerPattern i -> pure (Core.LitAlt $ Core.Int i, [])
Expand Down
1 change: 0 additions & 1 deletion src/Elara/TypeInfer.hs
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,6 @@ inferDeclaration ::
ShuntedDeclaration ->
Sem r TypedDeclaration
inferDeclaration (Declaration ld) = do
-- debugPretty ("Infering declaration " <> showPretty (ld ^. unlocated % field' @"name"))
Declaration
<$> traverseOf
unlocated
Expand Down

0 comments on commit 64edc03

Please sign in to comment.