Searched refs:clApply_ (Results 1 – 1 of 1) sorted by relevance
478 clApply_ :: Closure s -> Spine s -> Closure s479 clApply_ c [] = c function480 clApply_ (Closure b t env es) es' = Closure b t env (es <> es') function1006 Left spine -> runAM (Eval (clApply_ cl0 spine) ctrl)1293 Nothing -> runAM (Eval (clApply_ cl spine) ctrl)