Searched refs:sVars (Results 1 – 12 of 12) sorted by relevance
69 sVars.set_resolver(&sResolver); in init()70 sExpr.set_resolver(&sVars); in init()81 sVars.clear(); in do_destroy()110 sVars.clear(); in evaluate()131 sVars.clear(); in evaluate()168 sVars.clear(); in parse()187 sVars.clear(); in parse()
62 calc::Variables sVars; variable
106 | null (sVars (dSignature decl)) = return (Let decl)165 let isMonoType s = null (sVars s) && null (sProps s)
118 addParams ps s = s { sVars = pTypes ps ++ sVars s
260 { sVars = [], sProps = [] } function
164 tys <- sequence [ lookup v su | v <- sVars sch ]172 (numVs,otherVs) = partition (kindIs KNum) (sVars sch)
38 data Schema = Forall { sVars :: [TParam], sProps :: [Prop], sType :: Type } function895 | null (sVars s) && null (sProps s) = body900 vars = case sVars s of908 ns1 = addTNames (sVars s) ns
745 as = sVars (dSignature d)1006 (sVars s) (sProps s) gs
608 VirtReg** sVars = state->getListByKind(C); in X86RAPass_checkStateVars() local618 VirtReg* vreg = sVars[physId]; in X86RAPass_checkStateVars()653 VirtReg** sVars = src->getListByKind(C); in X86RAPass_loadStateVars() local660 VirtReg* vreg = sVars[physId]; in X86RAPass_loadStateVars()744 VirtReg** sVars = src->getListByKind(C); in X86RAPass_switchStateVars() local755 VirtReg* sVd = sVars[physId]; in X86RAPass_switchStateVars()3305 VirtReg** sVars = state->getListByKind(C); in spill() local3317 VirtReg* vreg = sVars[i]; in spill()3547 VirtReg** sVars = state->getListByKind(C); in save() local3554 VirtReg* vreg = sVars[i]; in save()[all …]
133 (sVars s)
383 isValueType env Forall{ sVars = [], sProps = [], sType = t0 }437 etaDelay sym env0 Forall{ sVars = vs0, sType = tp0 } = goTpVars env0 vs0
1795 let schema = T.Forall { T.sVars = []