| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcExpr.hs | 119 tcExpr expr res_ty
176 tcExpr e@(HsLit x lit) res_ty function
183 tcExpr (HsSCC x src lbl expr) res_ty function
195 tcExpr (HsOverLit x lit) res_ty function
206 tcExpr e@(HsIPVar _ x) res_ty function
249 tcExpr (HsLam x match) res_ty function
556 tcExpr (HsMultiIf _ alts) res_ty function
572 tcExpr (HsProc x pat cmd) res_ty function
584 tcExpr (HsStatic fvs expr) res_ty function
948 tcExpr e@(HsRecFld _ f) res_ty function
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
| H A D | TypeCheck.hs | 13 , tcExpr
74 tcExpr :: P.Expr Name -> InferInput -> IO (InferOutput (Expr,Schema))
75 tcExpr e0 inp = runInferM inp function
|
| /dports/textproc/zorba/zorba-2.7.0/src/compiler/expression/ |
| H A D | expr_iter.cpp | 487 trycatch_expr* tcExpr = static_cast<trycatch_expr*>(theExpr); in next() local
491 EXPR_ITER_NEXT(tcExpr->theTryExpr); in next()
493 theArgsIter = tcExpr->theCatchExprs.begin(); in next()
494 theArgsEnd = tcExpr->theCatchExprs.end(); in next()
|
| /dports/security/py-pyvex/pyvex-9.0.5405/vex/priv/ |
| H A D | ir_defs.c | 4161 tcExpr(bb,stmt, qop->arg1, gWordTy ); in tcExpr()
4162 tcExpr(bb,stmt, qop->arg2, gWordTy ); in tcExpr()
4163 tcExpr(bb,stmt, qop->arg3, gWordTy ); in tcExpr()
4164 tcExpr(bb,stmt, qop->arg4, gWordTy ); in tcExpr()
4321 tcExpr(bb,stmt, arg, gWordTy); in tcExpr()
4380 tcExpr( bb, stmt, puti->ix, gWordTy ); in tcStmt()
4413 tcExpr( bb, stmt, sg->addr, gWordTy ); in tcStmt()
4414 tcExpr( bb, stmt, sg->data, gWordTy ); in tcStmt()
4428 tcExpr( bb, stmt, lg->addr, gWordTy ); in tcStmt()
4429 tcExpr( bb, stmt, lg->alt, gWordTy ); in tcStmt()
[all …]
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | ir_defs.c | 4250 tcExpr(bb,stmt, qop->arg1, gWordTy ); in tcExpr()
4251 tcExpr(bb,stmt, qop->arg2, gWordTy ); in tcExpr()
4252 tcExpr(bb,stmt, qop->arg3, gWordTy ); in tcExpr()
4253 tcExpr(bb,stmt, qop->arg4, gWordTy ); in tcExpr()
4410 tcExpr(bb,stmt, arg, gWordTy); in tcExpr()
4469 tcExpr( bb, stmt, puti->ix, gWordTy ); in tcStmt()
4502 tcExpr( bb, stmt, sg->addr, gWordTy ); in tcStmt()
4503 tcExpr( bb, stmt, sg->data, gWordTy ); in tcStmt()
4517 tcExpr( bb, stmt, lg->addr, gWordTy ); in tcStmt()
4518 tcExpr( bb, stmt, lg->alt, gWordTy ); in tcStmt()
[all …]
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | ir_defs.c | 4250 tcExpr(bb,stmt, qop->arg1, gWordTy ); in tcExpr()
4251 tcExpr(bb,stmt, qop->arg2, gWordTy ); in tcExpr()
4252 tcExpr(bb,stmt, qop->arg3, gWordTy ); in tcExpr()
4253 tcExpr(bb,stmt, qop->arg4, gWordTy ); in tcExpr()
4410 tcExpr(bb,stmt, arg, gWordTy); in tcExpr()
4469 tcExpr( bb, stmt, puti->ix, gWordTy ); in tcStmt()
4502 tcExpr( bb, stmt, sg->addr, gWordTy ); in tcStmt()
4503 tcExpr( bb, stmt, sg->data, gWordTy ); in tcStmt()
4517 tcExpr( bb, stmt, lg->addr, gWordTy ); in tcStmt()
4518 tcExpr( bb, stmt, lg->alt, gWordTy ); in tcStmt()
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | Sanity.hs | 9 ( tcExpr
34 tcExpr :: InferInput -> Expr -> Either (Range, Error) (Schema, [ ProofObligation ])
35 tcExpr env e = runTcM env (exprSchema e) function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/ |
| H A D | Base.hs | 347 let act = TCAction { tcAction = T.tcExpr, tcLinter = exprLinter
466 case TcSanity.tcExpr i e' of
|