Home
last modified time | relevance | path

Searched refs:substExpr (Results 1 – 25 of 219) sorted by relevance

123456789

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/
H A DSubst.hs36 mkM (substExpr c)
47 substExpr
53 substExpr ctxt e@(L l1 (HsVar (L l2 v))) = function
55 substExpr ctxt e@(L l1 (HsVar x (L l2 v))) = function
71 substExpr _ e = return e function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/
H A DSubst.hs346 substExpr subst orig_expr
356 substExpr subst expr function
372 go (Lam bndr body) = Lam bndr' (substExpr subst' body)
376 go (Let bind body) = Let bind' (substExpr subst' body)
407 = map (substExpr subst') rhss
410 = (subst', NonRec bndr' (substExpr subst rhs))
419 rhss' = map (substExpr subst') rhss
640 args' = map (substExpr subst') args
650 new_tmpl = substExpr subst tmpl
695 , ru_args = map (substExpr subst') args
[all …]
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/
H A DSubst.hs352 substExpr subst orig_expr
362 substExpr subst expr function
378 go (Lam bndr body) = Lam bndr' (substExpr subst' body)
382 go (Let bind body) = Let bind' (substExpr subst' body)
413 = map (substExpr subst') rhss
416 = (subst', NonRec bndr' (substExpr subst rhs))
425 rhss' = map (substExpr subst') rhss
649 args' = map (substExpr subst') args
659 new_tmpl = substExpr subst tmpl
703 , ru_args = map (substExpr subst') args
[all …]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DAbstract.hs1000 substExpr :: [(Name, Expr)] -> a -> a
1002 default substExpr
1005 substExpr = fmap . substExpr function
1015 substExpr s (x, y) = (substExpr s x, substExpr s y) function
1018 substExpr s (Left x) = Left (substExpr s x) function
1019 substExpr s (Right y) = Right (substExpr s y) function
1022 substExpr _ = id function
1025 substExpr _ = id function
1028 substExpr s e = case e of function
1036 App i e e' -> App i (substExpr s e) (substExpr s e')
[all …]
/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 DCoreSubst.hs17 substTy, substCo, substExpr, substExprSC, substBind, substBindSC,
351 substExpr :: SDoc -> Subst -> CoreExpr -> CoreExpr
352 substExpr doc subst orig_expr = subst_expr doc subst orig_expr function
635 args' = map (substExpr (text "subst-unf:dfun") subst') args
645 new_tmpl = substExpr (text "subst-unf") subst tmpl
690 , ru_args = map (substExpr doc subst') args
691 , ru_rhs = substExpr (text "foo") subst' rhs }
/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/
H A Dquant_theorem_producer.cpp122 trigs[i][j] = trigs[i][j].substExpr(cur_vars,newVars); in normalizeQuant()
126 Expr normBody = quant.getBody().substExpr(cur_vars,newVars); in normalizeQuant()
201 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst()
292 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst()
365 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst()
450 Expr inst = e.getBody().substExpr(e.getVars(), terms); in partialUniversalInst()
469 Expr tempinst = e.getBody().substExpr(newBoundVars, terms); in partialUniversalInst()
/dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/
H A DCoreSubst.hs17 substTy, substCo, substExpr, substExprSC, substBind, substBindSC,
351 substExpr :: SDoc -> Subst -> CoreExpr -> CoreExpr
352 substExpr doc subst orig_expr = subst_expr doc subst orig_expr function
635 args' = map (substExpr (text "subst-unf:dfun") subst') args
645 new_tmpl = substExpr (text "subst-unf") subst tmpl
690 , ru_args = map (substExpr doc subst') args
691 , ru_rhs = substExpr (text "foo") subst' rhs }
/dports/net-im/tkabber/tkabber-1.1.2/tclxmpp/tclxml/
H A Dtclparser.tcl53 variable substExpr $::xml::substExpr
207 variable substExpr
280 [eval {::sgml::tokenise $xml $tokExpr1 $tokExpr2 $tokExpr3 $substExpr} $tokenOptions] \
H A Dxml.tcl86 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
/dports/net-im/coccinella/Coccinella-0.96.20Src/TclXML/
H A Dtclparser-8.1.tcl32 variable substExpr $::xml::substExpr
190 variable substExpr
264 [eval {::sgml::tokenise $xml $tokExpr $substExpr} $tokenOptions] \
H A Dxml-8.1.tcl69 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
/dports/devel/tclxml/tclxml-3.3/tclxml-tcl/
H A Dtclparser-8.1.tcl34 variable substExpr $::xml::substExpr
192 variable substExpr
266 [eval {::sgml::tokenise $xml $tokExpr $substExpr} $tokenOptions] \
H A Dtclparser-8.0.tcl169 variable substExpr
179 $substExpr \
H A Dxml-8.0.tcl55 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
H A Dxml-8.1.tcl71 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
/dports/cad/alliance/alliance/src/proof/src/
H A Dproof_util.c196 expr = substExpr (aux->ABL, name, sexpr);
208 expr = substExpr (out->ABL, name, sexpr);
223 expr = substExpr (biabl->CNDABL, name, sexpr);
228 expr = substExpr (biabl->VALABL, name, sexpr);
245 expr = substExpr (biabl->CNDABL, name, sexpr);
249 expr = substExpr (biabl->VALABL, name, sexpr);
266 expr = substExpr (biabl->CNDABL, name, sexpr);
270 expr = substExpr (biabl->VALABL, name, sexpr);
2002 expr = substExpr (out->ABL, "'d'", createAtom ("'1'"));
2041 expr = substExpr (biabl->VALABL, "'d'", createAtom ("'1'"));
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dcore_theorem_producer.cpp531 Expr e1(e[1].substExpr(oldTerms, newTerms)); in rewriteIteCond()
534 Expr e2(e[2].substExpr(oldTerms, newTerms)); in rewriteIteCond()
635 kids.push_back(e[i].substExpr(subst)); in rewriteAndSubterms()
661 kids.push_back(e[i].substExpr(subst)); in rewriteOrSubterms()
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/
H A Duf_theorem_producer.cpp137 body = body.substExpr(vars, e.getKids()); in applyLambda()
/dports/databases/sqlite2/sqlite-2.8.17/src/
H A Dselect.c1526 static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){ in substExpr() function
1552 substExpr(pExpr->pLeft, iTable, pEList); in substExpr()
1553 substExpr(pExpr->pRight, iTable, pEList); in substExpr()
1562 substExpr(pList->a[i].pExpr, iTable, pEList); in substExprList()
1764 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery()
1782 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery()
1796 substExpr(p->pWhere, iParent, pSub->pEList); in flattenSubquery()
/dports/databases/p5-DBD-SQLite2/DBD-SQLite2-0.38/
H A Dselect.c1526 static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){ in substExpr() function
1552 substExpr(pExpr->pLeft, iTable, pEList); in substExpr()
1553 substExpr(pExpr->pRight, iTable, pEList); in substExpr()
1562 substExpr(pList->a[i].pExpr, iTable, pEList); in substExprList()
1764 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery()
1782 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery()
1796 substExpr(p->pWhere, iParent, pSub->pEList); in flattenSubquery()
/dports/math/cvc3/cvc3-2.4.1/src/expr/
H A Dexpr.cpp178 Expr Expr::substExpr(const vector<Expr>& oldTerms, in substExpr() function in CVC3::Expr
199 Expr Expr::substExpr(const ExprHashMap<Expr>& oldToNew) const in substExpr() function in CVC3::Expr
/dports/databases/db5/db-5.3.28/lang/sql/sqlite/src/
H A Dselect.c2491 static Expr *substExpr( in substExpr() function
2513 pExpr->pLeft = substExpr(db, pExpr->pLeft, iTable, pEList); in substExpr()
2514 pExpr->pRight = substExpr(db, pExpr->pRight, iTable, pEList); in substExpr()
2532 pList->a[i].pExpr = substExpr(db, pList->a[i].pExpr, iTable, pEList); in substExprList()
2548 p->pHaving = substExpr(db, p->pHaving, iTable, pEList); in substSelect()
2549 p->pWhere = substExpr(db, p->pWhere, iTable, pEList); in substSelect()
2990 pParent->pHaving = substExpr(db, pParent->pHaving, iParent, pSub->pEList); in flattenSubquery()
3008 pParent->pHaving = substExpr(db, pParent->pHaving, iParent, pSub->pEList); in flattenSubquery()
3014 pParent->pWhere = substExpr(db, pParent->pWhere, iParent, pSub->pEList); in flattenSubquery()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/
H A DRealGHC.lhs.exactprinter.golden545 -- mostly invoked from the simplifier, when we have just run substExpr
553 -- potentially inefficient, because of the calls to substExpr,
591 | otherwise = (s_bind, substExpr subst e2)
594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/
H A DRealGHC.lhs.exactprinter.golden545 -- mostly invoked from the simplifier, when we have just run substExpr
553 -- potentially inefficient, because of the calls to substExpr,
591 | otherwise = (s_bind, substExpr subst e2)
594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/
H A DRealGHC.lhs.exactprinter.golden545 -- mostly invoked from the simplifier, when we have just run substExpr
553 -- potentially inefficient, because of the calls to substExpr,
591 | otherwise = (s_bind, substExpr subst e2)
594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)

123456789