Home
last modified time | relevance | path

Searched refs:ex_tvs (Results 1 – 25 of 51) sorted by relevance

123

/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 DPatSyn.hs372 (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 DDataCon.hs915 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 DConLike.hs173 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 DMkId.hs697 (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 DPatSyn.hs372 (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 DDataCon.hs915 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 DConLike.hs173 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 DMkId.hs697 (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 DPatSyn.hs373 (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 DDataCon.hs970 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 DConLike.hs187 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 DPatSyn.hs396 (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 DDataCon.hs973 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 DConLike.hs194 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 DTcPatSyn.hs150 ; 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 DTcPat.hs732 (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 DTcSigs.hs383 ; (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 DTcTyClsDecls.hs1629 { 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 DBuildTyCl.hs122 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 DTcIface.hs834 { 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 DMatchCon.hs125 = 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 DMake.hs739 (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 DConvert.hs353 (_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 DMake.hs759 (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 DPmCheck.hs532 , 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

123