@@ -54,7 +54,7 @@ import HieDb hiding (pointCommand)
54
54
import System.Directory (doesFileExist )
55
55
56
56
#if MIN_VERSION_ghc(9,0,1)
57
- import qualified Outputable as O
57
+ import qualified Development.IDE.GHC.Compat. Outputable as O
58
58
import Data.Tree
59
59
import qualified Data.Tree as T
60
60
import Data.List (isSuffixOf , sortOn )
@@ -288,17 +288,17 @@ atPoint IdeOptions{} (HAR _ (hf :: HieASTs a) _rf _ kind) (DKMap dm km) env pos
288
288
renderEvidenceTree (T. Node (EvidenceInfo {evidenceDetails= Just (EvLetBind _,_,_)}) [x])
289
289
= renderEvidenceTree x
290
290
renderEvidenceTree (T. Node (EvidenceInfo {evidenceDetails= Just (EvLetBind _,_,_), .. }) xs)
291
- = hang (text " Evidence of constraint `" O. <> expandType evidenceType O. <> " `" ) 2 $
291
+ = hang (text " Evidence of constraint `" `O.append` expandType evidenceType `O.append` " `" ) 2 $
292
292
vcat $ text " constructed using:" : map renderEvidenceTree' xs
293
293
renderEvidenceTree (T. Node (EvidenceInfo {.. }) _)
294
- = hang (text " Evidence of constraint `" O. <> expandType evidenceType O. <> " `" ) 2 $
294
+ = hang (text " Evidence of constraint `" `O.append` expandType evidenceType `O.append` " `" ) 2 $
295
295
vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (definedAt evidenceVar)
296
296
297
297
-- renderEvidenceTree' skips let bound evidence variables and prints the children directly
298
298
renderEvidenceTree' (T. Node (EvidenceInfo {evidenceDetails= Just (EvLetBind _,_,_)}) xs)
299
299
= vcat (map renderEvidenceTree' xs)
300
300
renderEvidenceTree' (T. Node (EvidenceInfo {.. }) _)
301
- = hang (text " - `" O. <> expandType evidenceType O. <> " `" ) 2 $
301
+ = hang (text " - `" `O.append` expandType evidenceType `O.append` " `" ) 2 $
302
302
vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (definedAt evidenceVar)
303
303
304
304
printDets :: RealSrcSpan -> Maybe (EvVarSource , Scope , Maybe Span ) -> SDoc
0 commit comments