Remove debugging logs

Author: ChrisPenner

unison-cli/src/Unison/LSP/FileAnalysis.hs

@@ -106,15 +106,6 @@ checkFile doc = runMaybeT do
           Result.Result _ (Just parsedFile) -> do
             typecheckingEnv <- computeTypecheckingEnvironment (ShouldUseTndr'Yes parsingEnv) cb ambientAbilities parsedFile
             let Result.Result typecheckingNotes maybeTypecheckedFile = FileParsers.synthesizeFile typecheckingEnv parsedFile
-            -- for_ maybeTypecheckedFile \tf -> do
-            --   let parsedVars =
-            --         UF.terms parsedFile
-            --           & foldMap (ABT.allVars . snd)
-            --   let typeCheckvars =
-            --         UF.hashTermsId tf
-            --           & foldMap (\(_a, _tr, _wk, trm, _typ) -> ABT.allVars trm)
-            --   Debug.debugM Debug.Temp "Parsed Vars" $ parsedVars
-            --   Debug.debugM Debug.Temp "Typecheck Vars" $ typeCheckvars
 
             symbolTypes <-
               typecheckingNotes
@@ -125,17 +116,6 @@ checkFile doc = runMaybeT do
                   _ -> mempty
                 & pure
 
-            let allVarMentions =
-                  typecheckingNotes
-                    & Foldable.toList
-                    & reverse -- Type notes that come later in typechecking have more information filled in.
-                    & foldMap \case
-                      Result.TypeInfo (Context.VarMention v loc) -> [(v, loc)]
-                      Result.TypeInfo (Context.VarBinding v loc _) -> [(v, loc)]
-                      _ -> mempty
-            Debug.debugM Debug.Temp "allVarMentions" allVarMentions
-            Debug.debugM Debug.Temp "symbolTypes" symbolTypes
-            Debug.debugM Debug.Temp "typecheckingNotes" typecheckingNotes
             let localBindings :: (IntervalMap Position (Context.Type Symbol Ann)) =
                   typecheckingNotes
                     & Foldable.toList
@@ -149,7 +129,6 @@ checkFile doc = runMaybeT do
                             ((annToInterval loc) & foldMap \interval -> (IM.singleton interval typ))
                           _ -> mempty
                       _ -> mempty
-            Debug.debugM Debug.Temp "localBindings" localBindings
             pure (localBindings, typecheckingNotes, Just parsedFile, maybeTypecheckedFile)
 
   filePPED <- lift $ ppedForFileHelper parsedFile typecheckedFile

unison-cli/src/Unison/LSP/Hover.hs

@@ -8,7 +8,6 @@ import Language.LSP.Protocol.Lens
 import Language.LSP.Protocol.Message qualified as Msg
 import Language.LSP.Protocol.Types
 import Unison.ABT qualified as ABT
-import Unison.Debug qualified as Debug
 import Unison.HashQualified qualified as HQ
 import Unison.LSP.FileAnalysis (ppedForFile)
 import Unison.LSP.FileAnalysis qualified as FileAnalysis
@@ -124,21 +123,14 @@ hoverInfo uri pos =
 
     hoverInfoForLocalVar :: MaybeT Lsp Text
     hoverInfoForLocalVar = do
-      Debug.debugM Debug.Temp "pos" pos
-      localVar <- LSPQ.nodeAtPositionMatching uri pos \node -> do
-        Debug.debugM Debug.Temp "node" node
-        case node of
-          LSPQ.TypeNode {} -> empty
-          LSPQ.PatternNode {} -> empty
-          LSPQ.TermNode trm -> case trm of
-            (Term.Var' v) -> pure v
-            (ABT.Abs'' v _body) -> pure v
-            _ -> empty
-      Debug.debugM Debug.Temp "localVar" localVar
-      -- let varFromText = VFS.identifierAtPosition uri pos
+      localVar <- LSPQ.nodeAtPositionMatching uri pos \case
+        LSPQ.TypeNode {} -> empty
+        LSPQ.PatternNode {} -> empty
+        LSPQ.TermNode trm -> case trm of
+          (Term.Var' v) -> pure v
+          (ABT.Abs'' v _body) -> pure v
+          _ -> empty
       FileAnalysis {localBindingTypes} <- FileAnalysis.getFileAnalysis uri
-      Debug.debugM Debug.Temp "localBindingTypes" localBindingTypes
-      Debug.debugM Debug.Temp "localVar" localVar
       (_range, typ) <- hoistMaybe $ IM.lookupMin $ IM.intersecting localBindingTypes (IM.ClosedInterval pos pos)
 
       pped <- lift $ ppedForFile uri