diff options
| author | Sidney Congard | 2022-07-25 14:22:52 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-07-25 14:22:52 +0200 |
| commit | fe7949c350bb3c5e2b9990ab3594b256194c3f0b (patch) | |
| tree | e96e933ffcfce797b54800b070769150b1ddb9e0 /src/PureToExtract.ml | |
| parent | f9b324be57708e9496ca6e9ac0b7e68ffd9e7108 (diff) | |
Apply minor changes from PR comments
Diffstat (limited to 'src/PureToExtract.ml')
| -rw-r--r-- | src/PureToExtract.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml index 7a10bb6b..2d76f348 100644 --- a/src/PureToExtract.ml +++ b/src/PureToExtract.ml @@ -671,7 +671,7 @@ let compute_type_decl_name (fmt : formatter) (def : type_decl) : string = TODO: move all those helpers. *) let default_fun_suffix - (is_global : bool) + (is_global_body : bool) (num_region_groups : int) (rg : region_group_info option) ((keep_fwd, num_backs) : bool * int) @@ -691,7 +691,7 @@ let default_fun_suffix we could not add the "_fwd" suffix) to prevent name clashes between definitions (in particular between type and function definitions). *) - if is_global then "_c" else + if is_global_body then "_body" else match rg with | None -> "_fwd" | Some rg -> |