Spec Scope Changes

Cargo.toml

@@ -81,14 +81,14 @@ datatest-stable = "0.3.2"
 sha2 = "0.10.9"
 dir-test = "0.4.1"
 
-move-stdlib = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-docgen = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-package = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-compiler = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-ir-types = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-core-types = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-symbol-pool = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-disassembler = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-binary-format = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-bytecode-source-map = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
-move-command-line-common = { git = "https://github.com/asymptotic-code/sui", branch = "next" }
+move-stdlib = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-docgen = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-package = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-compiler = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-ir-types = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-core-types = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-symbol-pool = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-disassembler = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-binary-format = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-bytecode-source-map = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }
+move-command-line-common = { git = "https://github.com/asymptotic-code/sui", branch = "more-spec-only-attributes" }

crates/move-model/src/builder/module_builder.rs

@@ -88,6 +88,7 @@ impl<'env, 'translator> ModuleBuilder<'env, 'translator> {
         self.populate_env_from_result(
             loc,
             attributes,
+            module_def.attributes,
             compiled_module,
             source_map,
             &function_infos,
@@ -516,6 +517,7 @@ impl ModuleBuilder<'_, '_> {
         &mut self,
         loc: Loc,
         attributes: Vec<Attribute>,
+        toplevel_attributes: EA::Attributes,
         module: CompiledModule,
         source_map: SourceMap,
         function_infos: &UniqueMap<PA::FunctionName, FunctionInfo>,
@@ -657,6 +659,7 @@ ot in AST",
         self.parent.env.add(
             loc,
             attributes,
+            toplevel_attributes,
             module,
             source_map,
             named_constants,

crates/move-model/src/model.rs

@@ -916,6 +916,7 @@ impl GlobalEnv {
         &mut self,
         loc: Loc,
         attributes: Vec<Attribute>,
+        toplevel_attributes: expansion::ast::Attributes,
         module: CompiledModule,
         source_map: SourceMap,
         named_constants: BTreeMap<NamedConstantId, NamedConstantData>,
@@ -966,6 +967,7 @@ impl GlobalEnv {
             source_map,
             loc,
             attributes,
+            toplevel_attributes,
             used_modules: Default::default(),
             friend_modules: Default::default(),
         });
@@ -3976,6 +3978,7 @@ impl GlobalEnv {
                 ),
                 loc: Loc::default(),
                 attributes: Default::default(),
+                toplevel_attributes: Default::default(),
                 used_modules: Default::default(),
                 friend_modules: Default::default(),
                 enum_data: BTreeMap::new(),
@@ -4018,6 +4021,8 @@ pub struct ModuleData {
     /// Attributes attached to this module.
     attributes: Vec<Attribute>,
 
+    toplevel_attributes: expansion::ast::Attributes,
+
     /// Module byte code.
     pub module: CompiledModule,
 
@@ -4073,6 +4078,7 @@ impl ModuleData {
             source_map: SourceMap::new(MoveIrLoc::new(FileHash::empty(), 0, 0), ident),
             loc: Loc::default(),
             attributes: Default::default(),
+            toplevel_attributes: Default::default(),
             used_modules: Default::default(),
             friend_modules: Default::default(),
             enum_data: BTreeMap::new(),
@@ -4118,6 +4124,10 @@ impl<'env> ModuleEnv<'env> {
         &self.data.attributes
     }
 
+    pub fn get_toplevel_attributes(&self) -> &expansion::ast::Attributes {
+        &self.data.toplevel_attributes
+    }
+
     /// Returns full name as a string.
     pub fn get_full_name_str(&self) -> String {
         self.get_name().display_full(self.symbol_pool()).to_string()