debugging

Author: isovector

src/Ide/LocalBindings.hs

@@ -161,6 +161,7 @@ mostSpecificSpan span z
 
 ------------------------------------------------------------------------------
 -- | Convert an HsVar back into an HsUnboundVar if it isn't actually in scope.
+-- TODO(sandy): this will throw away the type >:(
 holify :: Bindings -> LHsExpr GhcTc -> LHsExpr GhcTc
 holify (Bindings _ local) v@(L span (HsVar _ (L _ var))) =
   case M.lookup span local of

src/Ide/Plugin/Tactic.hs

@@ -37,11 +37,13 @@ import           Ide.LocalBindings
 import qualified Language.Haskell.LSP.Types      as J
 import           Language.Haskell.LSP.Types
 
+import Data.List (intercalate)
 import OccName
 import           HsExpr
 import           GHC
 import           DynFlags
 import           Type
+import System.IO
 
 
 descriptor :: PluginId -> PluginDescriptor
@@ -233,6 +235,7 @@ tacticCmd :: (OccName -> TacticsM ()) -> CommandFunction TacticParams
 tacticCmd tac _lf state (TacticParams uri range var_name)
   | Just nfp <- uriToNormalizedFilePath $ toNormalizedUri uri = do
       (pos, _, jdg) <- judgmentForHole state nfp range
+      hPutStrLn stderr $ intercalate "; " $ fmap (\(occ, CType ty) -> occNameString occ <> " :: " <> render unsafeGlobalDynFlags ty) $ Map.toList $ jHypothesis jdg
       pure $
         case runTactic
                 unsafeGlobalDynFlags

src/Ide/TacticMachinery.hs

@@ -224,6 +224,6 @@ buildDataCon hy dc apps = do
         (HsVar NoExt $ noLoc $ Unqual $ nameOccName $ dataConName dc)
     $ fmap unLoc sgs
 
-render :: Outputable (LHsExpr pass) => DynFlags -> LHsExpr pass -> String
+render :: Outputable a => DynFlags -> a -> String
 render dflags = showSDoc dflags . ppr
 

src/Ide/Tactics.hs

@@ -122,7 +122,7 @@ auto = (intro >> auto)
 
 
 autoIfPossible :: TacticsM () -> TacticsM ()
-autoIfPossible t = t >> (solve auto <!> pure ())
+autoIfPossible t = (t >> solve auto) <!> t
 
 
 one :: TacticsM ()