Searched refs:stTCWarnings (Results 1 – 10 of 10) sorted by relevance
230 tcWarnings <- useTC stTCWarnings -- restore already generated warnings234 setTCLens stTCWarnings tcWarnings
67 ws = s^.stTCWarnings
94 modifyTC $ over stTCWarnings $ const $ newState ^. stTCWarnings
655 stTCWarnings :: Lens' [TCWarning] TCState656 stTCWarnings f s = function
154 stTCWarnings `setTCLens` newWarnings
213 stTCWarnings `setTCLens` []
72 stTCWarnings `modifyTCLens` add w' tcwarn
491 collectedTCWarnings <- useTC stTCWarnings
909 warnings <- useTC stTCWarnings925 modifyTCLens stTCWarnings (++ warnings)
249 stTCWarnings `modifyTCLens` \ imp -> imp `List.union` warnings