Searched refs:tcWarning (Results 1 – 6 of 6) sorted by relevance
420 ws -> (`filter` ws) $ \ w -> case tcWarning w of434 (unsolvedHoles, otherWarnings) = List.partition (isUnsolvedIM . tcWarning) mws446 let pragmas w = case tcWarning w of { SafeFlagPragma ps -> ([w], ps); _ -> ([], []) }465 return $ sfp ++ filter (cleanUp . tcWarning) ws496 fmap (filter (showWarn . tcWarning))509 return $ filter (not . isUnsolvedWarning . tcWarning) ws
75 w' = tcWarning tcwarn171 isMetaTCWarning = isMetaWarning . tcWarning210 partite = (< AllWarnings) . classifyWarning . tcWarning
143 addWarning w = case classifyWarning (tcWarning w) of
102 case tcWarning tcwarn of400 warningHighlighting' b w = case tcWarning w of
230 ws <- filter (not . isUnsolvedWarning . tcWarning) <$> getAllWarnings AllWarnings
3442 , tcWarning :: Warning function