diff options
| author | Son Ho | 2023-12-21 19:51:10 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-21 19:51:10 +0100 |
| commit | 0fb89f21a302210aa284e54a10129c46dbe8b4b5 (patch) | |
| tree | d9a5b1c0919e0fa5716b96b1cf802386777c400e | |
| parent | 781638d204f90660caabe23946653437e9480374 (diff) | |
Use indices starting at 1 to make variable names unique at code gen
Diffstat (limited to '')
| -rw-r--r-- | compiler/ExtractBase.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index eb2a2ec9..0af7a9b4 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -351,7 +351,7 @@ let basename_to_unique (names_set : StringSet.t) let s = append basename i in if StringSet.mem s names_set then gen (i + 1) else s in - if StringSet.mem basename names_set then gen 0 else basename + if StringSet.mem basename names_set then gen 1 else basename type fun_name_info = { keep_fwd : bool; num_backs : int } |