Searched refs:NicePragma (Results 1 – 3 of 3) sorted by relevance
59 | NicePragma Range Pragma192 getRange (NicePragma r _) = r217 NicePragma{} -> text "{-# ... #-}"239 declName NicePragma{} = "Pragmas" function
166 declKind NicePragma{} = OtherDecl function543 return ([NicePragma (getRange p) p], ds)548 return ([NicePragma r (BuiltinPragma r str qn)], ds)663 return [ NicePragma r p ]1028 NicePragma r pragma -> case pragma of1122 termCheck NicePragma{} = TerminationCheck1146 covCheck NicePragma{} = YesCoverageCheck1216 d@NicePragma{} -> return d1288 d@NicePragma{} -> return d1392 NicePragma _ p -> [Pragma p][all …]
228 C.NicePragma{} -> failure1936 NicePragma r p -> do