Searched refs:getAllWarningsOfTCErr (Results 1 – 5 of 5) sorted by relevance
28 import Agda.TypeChecking.Errors (getAllWarningsOfTCErr)364 [ "warnings" #= (getAllWarningsOfTCErr err
20 import Agda.TypeChecking.Errors (prettyError, getAllWarningsOfTCErr)288 w <- prettyTCWarnings' =<< getAllWarningsOfTCErr err
500 getAllWarningsOfTCErr :: TCErr -> TCM [TCWarning]501 getAllWarningsOfTCErr err = case err of function
257 s2s <- prettyTCWarnings' =<< getAllWarningsOfTCErr err
16 , getAllWarningsOfTCErr