/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/basicTypes/ |
H A D | PatSyn.hs | 372 (ex_tvs, prov_theta) 378 psExTyVars = ex_tvs, 424 patSynSig (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs 427 = (binderVars univ_tvs, req, binderVars ex_tvs, prov, arg_tys, res_ty) 450 , psExTyVars = ex_tvs, psArgs = arg_tys }) 456 tyvars = binderVars (univ_tvs ++ ex_tvs) 474 , psExTyVars = ex_tvs, psProvTheta = prov_theta 481 sigma_ty = mkForAllTys ex_tvs $ 484 insert_empty_ctxt = null req_theta && not (null prov_theta && null ex_tvs)
|
H A D | DataCon.hs | 915 univ_tvs ex_tvs user_tvbs 929 is_vanilla = null ex_tvs && null eq_spec && null theta 934 dcExTyCoVars = ex_tvs, 984 (univ_tvs ++ ex_tvs) 1050 = univ_tvs ++ ex_tvs 1245 (subst, ex_tvs') = Type.substVarBndrs univ_subst ex_tvs function 1270 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) 1315 dcExTyCoVars = ex_tvs}) inst_tys 1318 ASSERT2( null ex_tvs, ppr dc ) 1332 dcExTyCoVars = ex_tvs}) inst_tys [all …]
|
H A D | ConLike.hs | 173 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con 176 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty) 178 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn 180 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
H A D | MkId.hs | 697 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty) 710 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys 749 `mkVarApps` ex_tvs 754 do { let (ex_vars, term_vars) = splitAtList ex_tvs src_vars 756 subst2 = extendTCvSubstList subst1 ex_tvs
|
/dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
H A D | PatSyn.hs | 372 (ex_tvs, prov_theta) 378 psExTyVars = ex_tvs, 424 patSynSig (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs 427 = (binderVars univ_tvs, req, binderVars ex_tvs, prov, arg_tys, res_ty) 450 , psExTyVars = ex_tvs, psArgs = arg_tys }) 456 tyvars = binderVars (univ_tvs ++ ex_tvs) 474 , psExTyVars = ex_tvs, psProvTheta = prov_theta 481 sigma_ty = mkForAllTys ex_tvs $ 484 insert_empty_ctxt = null req_theta && not (null prov_theta && null ex_tvs)
|
H A D | DataCon.hs | 915 univ_tvs ex_tvs user_tvbs 929 is_vanilla = null ex_tvs && null eq_spec && null theta 934 dcExTyCoVars = ex_tvs, 984 (univ_tvs ++ ex_tvs) 1050 = univ_tvs ++ ex_tvs 1245 (subst, ex_tvs') = Type.substVarBndrs univ_subst ex_tvs function 1270 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) 1315 dcExTyCoVars = ex_tvs}) inst_tys 1318 ASSERT2( null ex_tvs, ppr dc ) 1332 dcExTyCoVars = ex_tvs}) inst_tys [all …]
|
H A D | ConLike.hs | 173 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con 176 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty) 178 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn 180 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
H A D | MkId.hs | 697 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty) 710 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys 749 `mkVarApps` ex_tvs 754 do { let (ex_vars, term_vars) = splitAtList ex_tvs src_vars 756 subst2 = extendTCvSubstList subst1 ex_tvs
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
H A D | PatSyn.hs | 373 (ex_tvs, prov_theta) 379 psExTyVars = ex_tvs, 425 patSynSigBndr (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs 428 = (univ_tvs, req, ex_tvs, prov, map unrestricted arg_tys, res_ty) 455 , psExTyVars = ex_tvs, psArgs = arg_tys }) 461 tyvars = binderVars (univ_tvs ++ ex_tvs) 479 , psExTyVars = ex_tvs, psProvTheta = prov_theta 486 sigma_ty = mkInvisForAllTys ex_tvs $ 489 insert_empty_ctxt = null req_theta && not (null prov_theta && null ex_tvs)
|
H A D | DataCon.hs | 970 univ_tvs ex_tvs user_tvbs 984 is_vanilla = null ex_tvs && null eq_spec && null theta 989 dcExTyCoVars = ex_tvs, 1039 (univ_tvs ++ ex_tvs) 1105 = univ_tvs ++ ex_tvs 1284 (subst, ex_tvs') = Type.substVarBndrs univ_subst ex_tvs function 1310 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) 1405 dcExTyCoVars = ex_tvs}) inst_tys 1408 ASSERT2( null ex_tvs, ppr dc ) 1423 dcExTyCoVars = ex_tvs}) inst_tys [all …]
|
H A D | ConLike.hs | 187 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con 190 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty) 192 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn 194 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
H A D | PatSyn.hs | 396 (ex_tvs, prov_theta) 402 psExTyVars = ex_tvs, 452 patSynSigBndr (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs 455 = (univ_tvs, req, ex_tvs, prov, map unrestricted arg_tys, res_ty) 479 , psExTyVars = ex_tvs, psArgs = arg_tys }) 485 tyvars = binderVars (univ_tvs ++ ex_tvs) 503 , psExTyVars = ex_tvs, psProvTheta = prov_theta 510 sigma_ty = mkInvisForAllTys ex_tvs $ 513 insert_empty_ctxt = null req_theta && not (null prov_theta && null ex_tvs)
|
H A D | DataCon.hs | 973 univ_tvs ex_tvs user_tvbs 987 is_vanilla = null ex_tvs && null eq_spec && null theta 992 dcExTyCoVars = ex_tvs, 1042 (univ_tvs ++ ex_tvs) 1108 = univ_tvs ++ ex_tvs 1287 (subst, ex_tvs') = Type.substVarBndrs univ_subst ex_tvs function 1313 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) 1408 dcExTyCoVars = ex_tvs}) inst_tys 1411 ASSERT2( null ex_tvs, ppr dc ) 1426 dcExTyCoVars = ex_tvs}) inst_tys [all …]
|
H A D | ConLike.hs | 194 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con 197 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty) 199 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn 201 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcPatSyn.hs | 150 ; let (ex_tvs, prov_dicts) = tcCollectEx lpat' 183 ; traceTc "tcInferPatSynDecl }" $ (ppr name $$ ppr ex_tvs) 187 (mkTyVarBinders Inferred ex_tvs 379 ex_tvs = binderVars ex_bndrs function 614 ; (ze, ex_tvs') <- zonkTyVarBindersX ze ex_tvs 620 (env2, ex_tvs) = tidyTyCoVarBinders env1 ex_tvs' function 629 ppr (ex_tvs, prov_theta, prov_dicts) $$ 644 ex_tvs prov_theta 657 (ex_tvs, prov_theta) 690 (ex_tvs, ex_tys, prov_theta, prov_dicts) [all …]
|
H A D | TcPat.hs | 732 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _) 746 ; checkExistentials ex_tvs all_arg_tys penv 753 ; (tenv, ex_tvs') <- tcInstSuperSkolTyVarsX tenv ex_tvs 764 , pprTyVars ex_tvs 771 ; if null ex_tvs && null eq_spec && null theta 825 = do { let (univ_tvs, req_theta, ex_tvs, prov_theta, arg_tys, ty) = patSynSig pat_syn 830 ; checkExistentials ex_tvs all_arg_tys penv 831 ; (tenv, ex_tvs') <- tcInstSuperSkolTyVarsX subst ex_tvs 1172 checkExistentials ex_tvs tys _ 1173 | all (not . (`elemVarSet` tyCoVarsOfTypes tys)) ex_tvs = return ()
|
H A D | TcSigs.hs | 383 ; (implicit_tvs, (univ_tvs, (ex_tvs, (req, prov, body_ty)))) 397 req ex_tvs prov body_ty 408 ; ex_tvs <- mapM zonkTyCoVarKind ex_tvs 428 ex_tvs' = ex_tvs function
|
H A D | TcTyClsDecls.hs | 1629 { con_name = name, con_ex_tvs = ex_tvs 1633 bindExplicitTKBndrs_Tv ex_tvs $ 3019 ex_tvs = qkvs ++ user_qtvs function 3030 univ_tvs ex_tvs user_tvbs 3088 ; let (univ_tvs, ex_tvs, tkvs', user_tvs', eq_preds, arg_subst) 3118 univ_tvs ex_tvs all_user_bndrs eq_preds 3917 ; check_con (null ex_tvs) $ 3926 (_univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty) 4386 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty) 4390 ex_roles = mkVarEnv (map (, Nominal) ex_tvs)
|
/dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
H A D | BuildTyCl.hs | 122 field_lbls univ_tvs ex_tvs user_tvbs eq_spec ctxt arg_tys res_ty 138 univ_tvs ex_tvs user_tvbs eq_spec ctxt 180 (univ_tvs, req_theta) (ex_tvs, prov_theta) arg_tys 185 , ex_tvs `equalLength` ex_tvs1 192 , ppr ex_tvs <+> twiddle <+> ppr ex_tvs1 198 (univ_tvs, req_theta) (ex_tvs, prov_theta) 208 (mkTyVarTys (binderVars (univ_tvs ++ ex_tvs)))
|
H A D | TcIface.hs | 834 { bindIfaceForAllBndrs ex_bndrs $ \ex_tvs -> do 842 (ex_tvs, prov_theta) 911 bindIfaceBndrs ex_bndrs $ \ ex_tvs -> do 966 univ_tvs ex_tvs user_tv_bndrs 1425 ; let (ex_tvs, arg_ids) 1428 ; rhs' <- extendIfaceEnvs ex_tvs $ 1431 ; return (DataAlt con, ex_tvs ++ arg_ids, rhs') }
|
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
H A D | MatchCon.hs | 125 = do { let inst_tys = ASSERT( all tcIsTcTyVar ex_tvs ) 128 ASSERT( tvs1 `equalLength` ex_tvs ) 179 ex_tvs = conLikeExTyCoVars con1 function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Id/ |
H A D | Make.hs | 739 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty) 752 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys 793 `mkVarApps` ex_tvs 798 do { let (ex_vars, term_vars) = splitAtList ex_tvs src_vars 800 subst2 = extendTCvSubstList subst1 ex_tvs
|
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/ |
H A D | Convert.hs | 353 (_univ_tvs, ex_tvs, _eq_spec, theta, arg_tys, res_ty) = dataConFullSig dc function 396 , con_ex_tvs = map synifyTyVar ex_tvs 743 let (univ_tvs, req_theta, ex_tvs, prov_theta, arg_tys, res_ty) = patSynSig ps 750 , not (null prov_theta && null ex_tvs) 754 in implicitForAll ts [] (univ_tvs ++ ex_tvs) req_theta'
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Id/ |
H A D | Make.hs | 759 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty) 772 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys 813 `mkVarApps` ex_tvs 818 do { let (ex_vars, term_vars) = splitAtList ex_tvs src_vars 820 subst2 = extendTCvSubstList subst1 ex_tvs
|
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/HsToCore/ |
H A D | PmCheck.hs | 532 , pat_tvs = ex_tvs 535 translateConPatOut fam_insts x con arg_tys ex_tvs dicts ps 604 translateConPatOut fam_insts x con univ_tys ex_tvs dicts = \case 610 arg_tys = conLikeInstOrigArgTys con (univ_tys ++ mkTyVarTys ex_tvs) 642 let con_grd = PmCon x (PmAltConLike con) ex_tvs dicts arg_ids
|