Searched refs:FunSigCtxt (Results 1 – 14 of 14) sorted by relevance
58 = FunSigCtxt -- Function type signature, when checking the type constructor127 pprUserTypeCtxt (FunSigCtxt n _) = text "the type signature for" <+> quotes (ppr n)157 isSigMaybe (FunSigCtxt n _) = Just n281 FunSigCtxt f _ -> vcat [ text "the type signature for:"550 FunSigCtxt n _ -> text "for" <+> quotes (ppr n)
60 = FunSigCtxt -- Function type signature, when checking the type constructor129 pprUserTypeCtxt (FunSigCtxt n _) = text "the type signature for" <+> quotes (ppr n)159 isSigMaybe (FunSigCtxt n _) = Just n277 FunSigCtxt f _ -> vcat [ text "the type signature for:"550 FunSigCtxt n _ -> text "for" <+> quotes (ppr n)
61 = FunSigCtxt -- Function type signature, when checking the type constructor127 pprUserTypeCtxt (FunSigCtxt n _) = text "the type signature for" <+> quotes (ppr n)155 isSigMaybe (FunSigCtxt n _) = Just n278 FunSigCtxt f _ -> vcat [ text "the type signature for:"554 FunSigCtxt n _ -> text "for" <+> quotes (ppr n)
188 = do { let ctxt = FunSigCtxt (idName id) False241 Just n -> FunSigCtxt n False244 Just n -> FunSigCtxt n True769 = do { spec_ty <- tcHsSigType (FunSigCtxt name False) hs_ty770 ; wrap <- tcSpecWrapper (FunSigCtxt name True) poly_ty spec_ty
1785 = do { let ctxt = FunSigCtxt sel_name True1790 ; sig_ty <- tcHsSigType (FunSigCtxt sel_name False) hs_sig_ty1818 = do { let ctxt = FunSigCtxt sel_name False
277 ctxt = FunSigCtxt sel_name warn_redundant
360 FunSigCtxt {} -> rank1509 vdqAllowed (FunSigCtxt {}) = False1319 okIPCtxt (FunSigCtxt {}) = True
91 <- tcSkolemiseET (FunSigCtxt fun_name True) exp_ty $ \ exp_rho ->
1829 FunSigCtxt _ warn_redundant -> warn_redundant
309 = do { sigma_ty <- tcHsSigWcType (FunSigCtxt name False) hs_ty
167 funsSigCtxt (L _ name1 : _) = FunSigCtxt name1 False
1746 skol_info = SigSkol (FunSigCtxt main_name False) io_ty []
4003 ctxt = FunSigCtxt op_name True -- Report redundant class constraints