diff options
| author | Aymeric Fromherz | 2024-05-27 17:51:50 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-27 17:51:50 +0200 |
| commit | 309435d24edb689736da83025eb08a6761b28b8b (patch) | |
| tree | d1dfc5d42df9eca177cd69305f9efa69e3a4fec7 /compiler/InterpreterLoopsMatchCtxs.mli | |
| parent | c236ccfb22e64f56f4398d067582ebd570bf1a0b (diff) | |
Split collapse into collapse and reduce, rename accordingly
Diffstat (limited to 'compiler/InterpreterLoopsMatchCtxs.mli')
| -rw-r--r-- | compiler/InterpreterLoopsMatchCtxs.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterLoopsMatchCtxs.mli b/compiler/InterpreterLoopsMatchCtxs.mli index ab585220..7d214cb6 100644 --- a/compiler/InterpreterLoopsMatchCtxs.mli +++ b/compiler/InterpreterLoopsMatchCtxs.mli @@ -188,7 +188,7 @@ val prepare_match_ctx_with_target : We want to introduce an abstraction [abs@2], which has the same shape as [abs@fp] above (the fixed-point abstraction), and which is actually the identity. If we do so, - we get an environment which is actually also a fixed point (we can collapse + we get an environment which is actually also a fixed point (we can reduce the dummy variables and [abs@1] to actually retrieve the fixed point we computed, and we use the fact that those values and abstractions can't be *directly* manipulated unless we end this newly introduced [abs@2], which we |