diff options
Diffstat (limited to 'compiler/Cps.ml')
| -rw-r--r-- | compiler/Cps.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Cps.ml b/compiler/Cps.ml index 1b5164a1..8763ff78 100644 --- a/compiler/Cps.ml +++ b/compiler/Cps.ml @@ -17,7 +17,7 @@ type statement_eval_res = | Return | Panic | LoopReturn (** We reached a return statement *while inside a loop* *) - | EndEnterLoop of V.typed_value V.SymbolicValueId.Map.t + | EndEnterLoop of V.loop_id * V.typed_value V.SymbolicValueId.Map.t (** When we enter a loop, we delegate the end of the function is synthesized with a call to the loop translation. We use this evaluation result to transmit the fact that we end evaluation @@ -26,7 +26,7 @@ type statement_eval_res = We provide the list of values for the translated loop function call (or to be more precise the input values instantiation). *) - | EndContinue of V.typed_value V.SymbolicValueId.Map.t + | EndContinue of V.loop_id * V.typed_value V.SymbolicValueId.Map.t (** For loop translations: we end with a continue (i.e., a recursive call to the translation for the loop body). |