fixup! Refactor visitor to handle sui-typing

MystenLabs · Aug 18, 2023 · 0603cd6 · 0603cd6
1 parent f5f48bd
commit 0603cd6
Show file tree

Hide file tree

Showing 8 changed files with 177 additions and 267 deletions.
diff --git a/crates/sui-move-build/src/linters/coin_field.rs b/crates/sui-move-build/src/linters/coin_field.rs
@@ -11,7 +11,7 @@ use move_compiler::{
     expansion::ast as E,
     naming::ast as N,
     shared::{CompilationEnv, Identifier},
-    typing::{ast as T, core::ProgramInfo, visitor::TypingVisitor},
+    typing::{ast as T, core::TypingProgramInfo, visitor::TypingVisitor},
 };
 use move_core_types::account_address::AccountAddress;
 use move_ir_types::location::Loc;
@@ -36,7 +36,7 @@ impl TypingVisitor for CoinFieldVisitor {
     fn visit(
         &mut self,
         env: &mut CompilationEnv,
-        _program_info: &ProgramInfo,
+        _program_info: &TypingProgramInfo,
         program: &mut T::Program,
     ) {
         for (_, _, mdef) in program.modules.iter() {

diff --git a/crates/sui-move-build/src/linters/collection_equality.rs b/crates/sui-move-build/src/linters/collection_equality.rs
@@ -13,7 +13,7 @@ use move_compiler::{
     shared::{CompilationEnv, Identifier},
     typing::{
         ast as T,
-        core::ProgramInfo,
+        core::TypingProgramInfo,
         visitor::{TypingVisitorConstructor, TypingVisitorContext},
     },
 };
@@ -63,7 +63,7 @@ impl TypingVisitorConstructor for CollectionEqualityVisitor {
 
     fn context<'a>(
         env: &'a mut CompilationEnv,
-        _program_info: &'a ProgramInfo,
+        _program_info: &'a TypingProgramInfo,
         _program: &T::Program,
     ) -> Self::Context<'a> {
         Context { env }