| /dports/devel/pytype/pytype-2021.9.9/pytype/ |
| H A D | matcher.py | 254 return new_subst
261 if new_subst is None:
336 if new_subst is None:
400 subst = new_subst
494 return new_subst
527 return new_subst
608 if new_subst is None:
614 subst = new_subst
628 if new_subst is None:
635 subst = new_subst
[all …]
|
| /dports/math/symengine/symengine-0.8.1/symengine/utilities/matchpycpp/ |
| H A D | substitution.h | 49 SubstitutionMultiset new_subst = subst; in substitution_union() local
52 int ret = try_add_variable(new_subst, p.first, p.second); in substitution_union()
56 return new_subst; in substitution_union()
|
| H A D | cpp_code_generation.py | 285 new_subst = self.get_var_name('subst')
|
| /dports/lang/ocaml/ocaml-4.05.0/asmcomp/ |
| H A D | split.ml | 169 let new_subst = List.map (fun (nfail, _) -> nfail, ref None)
172 exit_subst := new_subst @ !exit_subst;
174 let res = List.map2 (fun (_, handler) (_, new_subst) -> rename handler !new_subst)
175 handlers new_subst in
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/asmcomp/ |
| H A D | split.ml | 169 let new_subst = List.map (fun (nfail, _) -> nfail, ref None)
172 exit_subst := new_subst @ !exit_subst;
174 let res = List.map2 (fun (_, handler) (_, new_subst) -> rename handler !new_subst)
175 handlers new_subst in
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/slg/ |
| H A D | aggregate.rs | 87 .any_future_answer(|ref mut new_subst| new_subst.may_invalidate(interner, &subst)) in make_solution()
98 let new_subst = match answers.next_answer(|| should_continue()) { in make_solution() localVariable
111 subst = merge_into_guidance(interner, &root_goal.canonical, subst, &new_subst); in make_solution()
|
| /dports/lang/ghc/ghc-8.10.7/compiler/cmm/ |
| H A D | CmmCommonBlockElim.hs | 114 go !new_subst1 b1 (b2:bs) = go new_subst b bs
117 new_subst = new_subst1 `mapUnion` new_subst2 function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/coreSyn/ |
| H A D | CoreSubst.hs | 461 = (new_subst, new_bndrs)
463 (new_subst, new_bndrs) = mapAccumL (substIdBndr (text "rec-bndr") new_subst) subst bndrs
|
| H A D | CoreOpt.hs | 583 = (env { soe_subst = new_subst, soe_inl = new_inl }, new_id)
603 new_subst = Subst new_in_scope new_id_subst tv_subst cv_subst function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
| H A D | CoreSubst.hs | 461 = (new_subst, new_bndrs)
463 (new_subst, new_bndrs) = mapAccumL (substIdBndr (text "rec-bndr") new_subst) subst bndrs
|
| H A D | CoreOpt.hs | 583 = (env { soe_subst = new_subst, soe_inl = new_inl }, new_id)
603 new_subst = Subst new_in_scope new_id_subst tv_subst cv_subst function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Subst.hs | 462 = (new_subst, new_bndrs)
464 (new_subst, new_bndrs) = mapAccumL (substIdBndr (text "rec-bndr") new_subst) subst bndrs
|
| H A D | SimpleOpt.hs | 595 = (env { soe_subst = new_subst, soe_inl = new_inl }, new_id)
615 new_subst = Subst new_in_scope new_id_subst tv_subst cv_subst function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Subst.hs | 468 = (new_subst, new_bndrs)
470 (new_subst, new_bndrs) = mapAccumL (substIdBndr (text "rec-bndr") new_subst) subst bndrs
|
| H A D | SimpleOpt.hs | 628 = (env { soe_subst = new_subst, soe_inl = new_inl }, new_id)
648 new_subst = Subst new_in_scope new_id_subst tv_subst cv_subst function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
| H A D | SimplEnv.hs | 817 seIdSubst = new_subst }, new_id)
834 new_subst | new_id /= old_id
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
| H A D | includemod.ml | 367 let new_subst =
379 pair_components new_subst
|
| /dports/lang/ocaml/ocaml-4.05.0/typing/ |
| H A D | includemod.ml | 367 let new_subst =
379 pair_components new_subst
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 731 (new_subst, new_skol)
739 new_subst = extendTvSubstWithClone subst skol new_skol function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/ |
| H A D | TcType.hs | 727 (new_subst, new_skol)
735 new_subst = extendTvSubstWithClone subst skol new_skol function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 711 (new_subst, new_skol)
719 new_subst = extendTvSubstWithClone subst skol new_skol function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcType.hs | 727 (new_subst, new_skol)
735 new_subst = extendTvSubstWithClone subst skol new_skol function
|