Rewriting constants

rust-lite/src/rust_lite/__main__.py

@@ -76,11 +76,11 @@ def exec_erc20() -> None:
     trigger_exec_run(stripped_args)
 
 def exec_staking() -> None:
-    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/lending.rs')}
+    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/staking.rs')}
     trigger_exec_run(stripped_args)
 
 def exec_lending() -> None:
-    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/staking.rs')}
+    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/lending.rs')}
     trigger_exec_run(stripped_args)
 
 

rust-lite/src/rust_lite/manager.py

@@ -32,7 +32,7 @@ def _init_cterm(self) -> None:
 
     def load_program(self, program_path: str) -> None:
 
-        returned_process = _kast(file=program_path, definition_dir=f'../.build/rust-execution-kompiled')
+        returned_process = _kast(file=program_path, definition_dir=f'../.build/rust-preprocessing-kompiled')
 
         program = returned_process.stdout
 
@@ -59,3 +59,12 @@ def print_k_top_element(self) -> None:
             _PPRINT.pprint(top_cell)
         else:
             print('Cell is empty.')
+
+
+    def print_constants_cell(self) -> None:
+        cell = self.cterm.cell('CONSTANTS_CELL')
+
+        print('--------------------------------------------------')
+        print('CONSTANTS CELL ELEMENT: ')
+        _PPRINT.pprint(cell)
+

rust-semantics/preprocessing/constants.md

@@ -24,5 +24,10 @@ module RUST-CONSTANTS
             </constant>
             ...
         </constants>
+
+    rule <k> Name:Identifier::.PathExprSegments => V ... </k>
+        <constant-name> Name </constant-name>
+        <constant-value> V:Value </constant-value>
+
 endmodule
 ```

tests/execution/constant-lookup.1.run

@@ -0,0 +1,4 @@
+new ConstantValueLookup;
+call ConstantValueLookup.lookup_constant;
+return_value;
+check_eq 7_000_u64

tests/execution/constant-lookup.2.run

@@ -0,0 +1,4 @@
+new ConstantValueLookup;
+call ConstantValueLookup.lookup_constant_with_type;
+return_value;
+check_eq 7100_u64

tests/execution/constant-lookup.rs

@@ -0,0 +1,24 @@
+#![no_std]
+
+#[allow(unused_imports)]
+use multiversx_sc::imports::*;
+
+pub const SAMPLE_CONSTANT: u64 = 7_000;
+
+#[multiversx_sc::contract]
+pub trait ConstantValueLookup {
+    #[init]
+    fn init(&self) {
+    }
+
+    #[upgrade]
+    fn upgrade(&self) {}
+
+    fn lookup_constant(&self) -> u64 { SAMPLE_CONSTANT }
+
+    fn lookup_constant_with_type(&self) -> u64 { 
+        let x = 100_u64 + SAMPLE_CONSTANT;
+        x 
+    }
+
+}

tests/syntax/staking.rs

@@ -9,7 +9,7 @@ use multiversx_sc::imports::*;
 pub const YEARLY_INTEREST: u64 = 7_000;
 pub const BPS: u64 = 100_000; 
 pub const SECONDS_IN_DAY: u64 = 24 * 60 * 60;
-pub const SECONDS_IN_YEAR: u64 = 365 * SECONDS_IN_DAY;
+pub const SECONDS_IN_YEAR: u64 = 365_u64 * SECONDS_IN_DAY;
 
 #[multiversx_sc::contract]
 pub trait Staking {