/dports/lang/ghc/ghc-8.10.7/compiler/stgSyn/ |
H A D | StgFVs.hs | 75 fvs = delDVarSet body_fv bndr `unionDVarSet` rhs_fvs function 82 fvs = delDVarSetList (unionDVarSets (body_fv:rhs_fvss)) bndrs function 99 fvs = delDVarSet (unionDVarSet scrut_fvs alt_fvs) bndr function 104 (e', fvs) = go e function 105 fvs' = unionDVarSet (tickish tick) fvs function 114 (bind', fvs) = binding env' body_fvs bind function 122 fvs = delDVarSetList body_fvs bndrs function 130 fvs = delDVarSetList rhs_fvs bndrs function
|
/dports/lang/racket/racket-8.3/share/pkgs/redex-lib/redex/ |
H A D | tut-subst.rkt | 95 (define (fvs x? body) function
|
/dports/devel/libfreefare/libfreefare-libfreefare-0.4.0/libfreefare/ |
H A D | tlv.c | 114 size_t fvs = 0; in tlv_decode() local 139 size_t fvs = 0; in tlv_record_length() local
|
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/relay/backend/vm/ |
H A D | lambda_lift.cc | 116 Array<Expr> fvs; in VisitExpr_() local 174 Array<Expr> fvs; in VisitExpr_() local
|
/dports/misc/py-tvm/incubator-tvm-0.6.1/src/relay/backend/vm/ |
H A D | lambda_lift.cc | 121 Array<Expr> fvs; in VisitExpr_() local 181 Array<Expr> fvs; in VisitExpr_() local
|
/dports/misc/tvm/incubator-tvm-0.6.1/src/relay/backend/vm/ |
H A D | lambda_lift.cc | 121 Array<Expr> fvs; in VisitExpr_() local 181 Array<Expr> fvs; in VisitExpr_() local
|
/dports/science/pagmo2/pagmo2-2.18.0/src/detail/ |
H A D | bfe_impl.cpp | 92 void bfe_check_output_fvs(const problem &p, const vector_double &dvs, const vector_double &fvs) in bfe_check_output_fvs()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | skolemize.cpp | 144 std::vector<TNode>& fvs, in mkSkolemizedBody() 314 std::vector<TNode> fvs; in getSkolemizedBody() local
|
H A D | sygus_sampler.cpp | 294 std::vector<Node> fvs; in isContiguous() local 316 void SygusSampler::computeFreeVariables(Node n, std::vector<Node>& fvs) in computeFreeVariables() 352 std::map<unsigned, std::vector<Node> > fvs; in checkVariables() local 402 std::vector<Node> fvs; in containsFreeVariables() local
|
H A D | expr_miner.cpp | 37 std::vector<Node> fvs; in convertToSkolem() local
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | node_algorithm.cpp | 162 std::unordered_set<Node, NodeHashFunction> fvs; in hasFreeVar() local 167 std::unordered_set<Node, NodeHashFunction>& fvs, in getFreeVariables()
|
/dports/print/fontforge/fontforge-20201107/fontforge/ |
H A D | autosave.c | 155 static void _DoAutoSaves(FontViewBase *fvs) { in _DoAutoSaves()
|
/dports/science/pagmo2/pagmo2-2.18.0/tests/ |
H A D | thread_bfe.cpp | 73 auto fvs = bfe0(p0, dvs); in BOOST_AUTO_TEST_CASE() local
|
/dports/lang/ghc/ghc-8.10.7/compiler/rename/ |
H A D | RnBinds.hs | 469 fvs' = filterNameSet (nameIsLocalOrFrom mod) all_fvs function 508 ; let fvs' = filterNameSet (nameIsLocalOrFrom mod) rhs_fvs function 552 fvs' = trim fvs function 716 ; let fvs = fvs1 `plusFV` fvs2 function 717 fvs' = filterNameSet (nameIsLocalOrFrom mod) fvs function
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Free/ |
H A D | Reduce.hs | 73 let fvs = precomputedFreeVars a function
|
/dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/cargo-0.58.0/src/cargo/core/resolver/ |
H A D | features.rs | 477 let fvs = self.fvs_from_requested(member.package_id(), cli_features); in do_resolve() localVariable 534 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_pkg() localVariable 591 let fvs = match feature_map.get(&feature_to_enable) { in activate_rec() localVariable 647 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_dependency() localVariable
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/cargo/src/cargo/core/resolver/ |
H A D | features.rs | 477 let fvs = self.fvs_from_requested(member.package_id(), cli_features); in do_resolve() localVariable 534 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_pkg() localVariable 591 let fvs = match feature_map.get(&feature_to_enable) { in activate_rec() localVariable 647 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_dependency() localVariable
|
/dports/devel/cargo-generate/cargo-generate-0.9.0/cargo-crates/cargo-0.55.0/src/cargo/core/resolver/ |
H A D | features.rs | 512 let fvs = self.fvs_from_requested(member.package_id(), cli_features); in do_resolve() localVariable 569 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_pkg() localVariable 634 let fvs = match feature_map.get(&feature_to_enable) { in activate_rec() localVariable 693 let fvs = self.fvs_from_dependency(dep_pkg_id, dep); in activate_dependency() localVariable
|
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Typeset/Line/ |
H A D | lazy_gui.cpp | 97 format_vstream fvs= (format_vstream) fm; in produce() local 184 format_vstream fvs= (format_vstream) fm; in produce() local
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/utils/ |
H A D | FV.hs | 193 unionsFV fvs fv_cand in_scope acc = mapUnionFV id fvs fv_cand in_scope acc function
|
/dports/lang/ghc/ghc-8.10.7/compiler/utils/ |
H A D | FV.hs | 193 unionsFV fvs fv_cand in_scope acc = mapUnionFV id fvs fv_cand in_scope acc function
|
/dports/devel/jsonnet/jsonnet-0.17.0/core/ |
H A D | static_analysis.cpp | 135 IdSet fvs; in static_analysis() local
|
/dports/devel/py-jsonnet/jsonnet-0.17.0/core/ |
H A D | static_analysis.cpp | 135 IdSet fvs; in static_analysis() local
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Utils/ |
H A D | FV.hs | 191 unionsFV fvs fv_cand in_scope acc = mapUnionFV id fvs fv_cand in_scope acc function
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Utils/ |
H A D | FV.hs | 191 unionsFV fvs fv_cand in_scope acc = mapUnionFV id fvs fv_cand in_scope acc function
|