Home
last modified time | relevance | path

Searched refs:SafeFlagPragma (Results 1 – 5 of 5) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A DWarning.hs189 SafeFlagPragma xs ->
446 let pragmas w = case tcWarning w of { SafeFlagPragma ps -> ([w], ps); _ -> ([], []) }
449 [TCWarning loc r (SafeFlagPragma sfp) p b]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DOptions.hs38 when (Lens.getSafeMode opts && not (null unsafe)) $ warning $ SafeFlagPragma unsafe
H A DBase.hs3303 | SafeFlagPragma [String] -- ^ Unsafe OPTIONS. constructor
3406 SafeFlagPragma{} -> SafeFlagPragma_
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DErrors.hs43 SafeFlagPragma a -> __IMPOSSIBLE__
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DGenerate.hs441 SafeFlagPragma{} -> errorWarningHighlighting w