@@ -57,7 +57,8 @@ import HieDb hiding (pointCommand)
57
57
import System.Directory (doesFileExist )
58
58
59
59
#if MIN_VERSION_ghc(9,0,1)
60
- import qualified Outputable as O
60
+ import qualified GHC.Utils.Outputable as O
61
+ import GHC.Data.FastString (lengthFS )
61
62
import Data.Tree
62
63
import qualified Data.Tree as T
63
64
import Data.List (isSuffixOf , sortOn )
@@ -298,14 +299,14 @@ atPoint IdeOptions{} (HAR _ (hf :: HieASTs a) _rf _ kind) (DKMap dm km) env pos
298
299
vcat $ text " constructed using:" : map renderEvidenceTree' xs
299
300
renderEvidenceTree (T. Node (EvidenceInfo {.. }) _)
300
301
= hang (text " Evidence of constraint `" O. <> expandType evidenceType O. <> " `" ) 2 $
301
- vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (definedAt evidenceVar)
302
+ vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (maybeToList $ definedAt evidenceVar)
302
303
303
304
-- renderEvidenceTree' skips let bound evidence variables and prints the children directly
304
305
renderEvidenceTree' (T. Node (EvidenceInfo {evidenceDetails= Just (EvLetBind _,_,_)}) xs)
305
306
= vcat (map renderEvidenceTree' xs)
306
307
renderEvidenceTree' (T. Node (EvidenceInfo {.. }) _)
307
308
= hang (text " - `" O. <> expandType evidenceType O. <> " `" ) 2 $
308
- vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (definedAt evidenceVar)
309
+ vcat $ printDets evidenceSpan evidenceDetails : map (text . T. unpack) (maybeToList $ definedAt evidenceVar)
309
310
310
311
printDets :: RealSrcSpan -> Maybe (EvVarSource , Scope , Maybe Span ) -> SDoc
311
312
printDets _ Nothing = text " using an external instance"
0 commit comments