Searched refs:CompilePragma (Results 1 – 9 of 9) sorted by relevance
509 | CompilePragma Range RString QName String -- ^ first string is backend name933 getRange (CompilePragma r _ _ _) = r1140 killRange (CompilePragma _ b q s) = killRange1 (\ q -> CompilePragma noRange b q s) q1278 rnf (CompilePragma _ a b c) = rnf a `seq` rnf b `seq` rnf c
216 | CompilePragma RString QName String constructor
393 CompilePragma{} -> pure p512 CompilePragma{} -> mempty
227 A.CompilePragma b x _foreign -> singleAspect Keyword b <> hilite x
541 nicePragma p@CompilePragma{} ds = do1043 CompilePragma{} -> bottom
577 pretty (CompilePragma _ b x e) =
728 A.CompilePragma b x s -> do
1490 C.CompilePragma{} -> Nothing2294 toAbstract (C.CompilePragma _ rb x s) = do2309 return [ A.CompilePragma rb y s ]
1242 A.CompilePragma b x s -> do1244 return $ C.CompilePragma r b x s