Searched defs:nicePragma (Results 1 – 1 of 1) sorted by relevance
500 nicePragma (TerminationCheckPragma r NoTerminationCheck) ds = do function541 nicePragma p@CompilePragma{} ds = do function545 nicePragma (PolarityPragma{}) ds = return ([], ds) function547 nicePragma (BuiltinPragma r str qn@(QName x)) ds = do function550 nicePragma p ds = return ([NicePragma (getRange p) p], ds) function