diff options
author | Son Ho | 2022-12-17 10:27:12 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 66638a2a96c7639553a340917b87e26d94265c5e (patch) | |
tree | a0219df7582ca17784135345924790dc26a7e315 /compiler/Pure.ml | |
parent | 07621dcf488eef1c4a4ab797c21cc34ab474d225 (diff) |
Fix various issues with the generation of code for the loops
Diffstat (limited to 'compiler/Pure.ml')
-rw-r--r-- | compiler/Pure.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 6fb20b22..97eced1d 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -14,7 +14,7 @@ module SymbolicValueId = V.SymbolicValueId module FunDeclId = A.FunDeclId module GlobalDeclId = A.GlobalDeclId -(** We redefine identifiers for loop: in {Values}, the identifiers are global +(** We redefine identifiers for loop: in {!Values}, the identifiers are global (they monotonically increase across functions) while in {!module:Pure} we want the indices to start at 0 for every function. *) @@ -492,6 +492,9 @@ and match_branch = { pat : typed_pattern; branch : texpression } and loop = { fun_end : texpression; loop_id : loop_id; + fuel0 : var_id; + fuel : var_id; + input_state : var_id option; inputs : var list; inputs_lvs : typed_pattern list; (** The inputs seen as patterns. See {!fun_body}. *) |