Searched refs:NegateOrigin (Results 1 – 5 of 5) sorted by relevance
375 | NegateOrigin -- Occurrence of syntactic negation642 pprCtO NegateOrigin = text "a use of syntactic negation" function
370 | NegateOrigin -- Occurrence of syntactic negation646 pprCtO NegateOrigin = text "a use of syntactic negation" function
372 | NegateOrigin -- Occurrence of syntactic negation646 pprCtO NegateOrigin = text "a use of syntactic negation" function
201 <- tcSyntaxOp NegateOrigin neg_expr [SynAny] res_ty $