1+ use crate :: backend:: evaluation:: { CodeGenerator , eval_const_expression_usize, try_as_constant} ;
12use crate :: lang:: { ConstExpression , SimpleExpr } ;
23use lean_vm:: Label ;
34use std:: fmt:: { Display , Formatter } ;
@@ -59,13 +60,10 @@ impl IntermediateValue {
5960 }
6061
6162 /// Converts this value to a MemOrFp for low-level code generation.
62- pub fn try_into_mem_or_fp (
63- & self ,
64- compiler : & crate :: backend:: evaluation:: CodeGenerator ,
65- ) -> Result < lean_vm:: MemOrFp , String > {
63+ pub fn try_into_mem_or_fp ( & self , compiler : & CodeGenerator ) -> Result < lean_vm:: MemOrFp , String > {
6664 match self {
6765 Self :: MemoryAfterFp { offset } => Ok ( lean_vm:: MemOrFp :: MemoryAfterFp {
68- offset : crate :: backend :: evaluation :: eval_const_expression_usize ( offset, compiler) ,
66+ offset : eval_const_expression_usize ( offset, compiler) ,
6967 } ) ,
7068 Self :: Fp => Ok ( lean_vm:: MemOrFp :: Fp ) ,
7169 _ => Err ( format ! ( "Cannot convert {self:?} to MemOrFp" ) ) ,
@@ -75,14 +73,14 @@ impl IntermediateValue {
7573 /// Converts this value to a MemOrConstant for low-level code generation.
7674 pub fn try_into_mem_or_constant (
7775 & self ,
78- compiler : & crate :: backend :: evaluation :: CodeGenerator ,
76+ compiler : & CodeGenerator ,
7977 ) -> Result < lean_vm:: MemOrConstant , String > {
80- if let Some ( cst) = crate :: backend :: evaluation :: try_as_constant ( self , compiler) {
78+ if let Some ( cst) = try_as_constant ( self , compiler) {
8179 return Ok ( lean_vm:: MemOrConstant :: Constant ( cst) ) ;
8280 }
8381 if let Self :: MemoryAfterFp { offset } = self {
8482 return Ok ( lean_vm:: MemOrConstant :: MemoryAfterFp {
85- offset : crate :: backend :: evaluation :: eval_const_expression_usize ( offset, compiler) ,
83+ offset : eval_const_expression_usize ( offset, compiler) ,
8684 } ) ;
8785 }
8886 Err ( format ! ( "Cannot convert {self:?} to MemOrConstant" ) )
0 commit comments