Skip to content

Commit

Permalink
fix stop omit occname #3950
Browse files Browse the repository at this point in the history
  • Loading branch information
soulomoon committed Jan 13, 2024
1 parent 4ae63f0 commit 30e7f05
Showing 1 changed file with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -84,9 +84,7 @@ hieAstSpanNames vf ast =
exclusion :: Identifier -> IdentifierDetails a -> Bool
exclusion idt IdentifierDetails {identInfo = infos} = case idt of
Left _ -> True
Right name ->
isDerivedOccName (nameOccName name)
|| any isEvidenceContext (S.toList infos)
Right _ -> any isEvidenceContext (S.toList infos)

-------------------------------------------------

Expand Down

0 comments on commit 30e7f05

Please sign in to comment.