Home
last modified time | relevance | path

Searched refs:rmVals (Results 1 – 1 of 1) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/IR/
H A DFreeVars.hs48 rmVals :: Set Name -> Deps -> Deps
49 rmVals p x = x { valDeps = Set.difference (valDeps x) p } function
86 Recursive ds -> rmVals (defs ds) (freeVars ds)
109 EComp t1 t2 e mss -> freeVars [t1,t2] <> rmVals (defs mss) (freeVars e)
118 EWhere e ds -> foldFree ds <> rmVals (defs ds) (freeVars e)
122 updateFree x rest = freeVars x <> rmVals (defs x) rest