ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

update self mut self keywords in type inference module

Browse Source
This commit is contained in:
collin 2020-11-25 00:37:19 -05:00
parent 58cb5101eb
commit 8873971f56
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
type-inference/src/objects/frame.rs
View File

@ -34,7 +34,7 @@ use leo_ast::{
Statement,
Variables,
};
use leo_symbol_table::{Attribute, CircuitType, FunctionType, SymbolTable, Type, TypeVariable};
use leo_symbol_table::{CircuitType, FunctionType, SymbolTable, Type, TypeVariable};
/// A vector of `TypeAssertion` predicates created from a function body.
#[derive(Clone)]

2
type-inference/src/type_inference.rs
View File

@ -82,7 +82,7 @@ impl TypeInference {
// Create a new function for each circuit member function.
for circuit_member in &circuit.members {
// ignore circuit member variables
if let CircuitMember::CircuitFunction(_, function) = circuit_member {
if let CircuitMember::CircuitFunction(function) = circuit_member {
// Collect `TypeAssertion` predicates from the function.
// Pass down circuit self type and circuit variable types to each function.
let frame = Frame::new_circuit_function(