diff options
author | Son Ho | 2023-11-16 10:13:28 +0100 |
---|---|---|
committer | Son Ho | 2023-11-16 10:13:28 +0100 |
commit | a27efd1ed08bc9583752445d9eda7a693c0c7379 (patch) | |
tree | 5a3d1f1522cf813522798bb9bfd43d928b0b88e9 /compiler/Pure.ml | |
parent | e0351ad287332d5d1c71cee6a834f775db98966d (diff) |
Finish propagating the changes to the names and cleaning
Diffstat (limited to 'compiler/Pure.ml')
-rw-r--r-- | compiler/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index fa059499..40711e53 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -14,6 +14,7 @@ module GlobalDeclId = A.GlobalDeclId module TraitDeclId = T.TraitDeclId module TraitImplId = T.TraitImplId module TraitClauseId = T.TraitClauseId +module Disambiguator = T.Disambiguator (** We redefine identifiers for loop: in {!Values}, the identifiers are global (they monotonically increase across functions) while in {!module:Pure} we want |