Home
last modified time | relevance | path

Searched refs:InvalidCatchallPragma (Results 1 – 4 of 4) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/Definitions/
H A DErrors.hs73 | InvalidCatchallPragma Range constructor
134 InvalidCatchallPragma{} -> InvalidCatchallPragma_
174 InvalidCatchallPragma{} -> False
244 getRange (InvalidCatchallPragma r) = r
347 pretty (InvalidCatchallPragma _) = fsep $
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DErrors.hs175 InvalidCatchallPragma a -> icodeN 14 InvalidCatchallPragma a
209 [14,a] -> valuN InvalidCatchallPragma a
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DDefinitions.hs524 declarationWarning $ InvalidCatchallPragma r
719 declarationWarning $ InvalidCatchallPragma r
722 when (null cs) $ declarationWarning $ InvalidCatchallPragma r
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DGenerate.hs502 InvalidCatchallPragma{} -> mempty