Searched refs:ExprSigOrigin (Results 1 – 4 of 4) sorted by relevance
382 | ExprSigOrigin -- e :: ty511 exprCtOrigin (ExprWithTySig {}) = ExprSigOrigin632 pprCtO ExprSigOrigin = text "an expression type signature" function
377 | ExprSigOrigin -- e :: ty505 exprCtOrigin (ExprWithTySig {}) = ExprSigOrigin636 pprCtO ExprSigOrigin = text "an expression type signature" function
380 | ExprSigOrigin -- e :: ty515 exprCtOrigin (ExprWithTySig {}) = ExprSigOrigin635 pprCtO ExprSigOrigin = text "an expression type signature" function