ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 12:13:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix traits in compiler

Browse Source
This commit is contained in:
collin 2020-07-16 22:48:56 -07:00
parent 77d93d11bd
commit 1ede8db1cd
7 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/src/expression/relational/ge.rs
View File

@ -1,7 +1,7 @@
//! Enforces a relational `>=` operator in a resolved Leo program.
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_gadgets::binary::ComparatorGadget;
use leo_gadgets::bits::ComparatorGadget;
use leo_types::Span;
use snarkos_models::{

2
compiler/src/expression/relational/gt.rs
View File

@ -1,7 +1,7 @@
//! Enforces a relational `>` operator in a resolved Leo program.
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_gadgets::binary::ComparatorGadget;
use leo_gadgets::bits::ComparatorGadget;
use leo_types::Span;
use snarkos_models::{

2
compiler/src/expression/relational/le.rs
View File

@ -1,7 +1,7 @@
//! Enforces a relational `<=` operator in a resolved Leo program.
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_gadgets::binary::ComparatorGadget;
use leo_gadgets::bits::ComparatorGadget;
use leo_types::Span;
use snarkos_models::{

2
compiler/src/expression/relational/lt.rs
View File

@ -1,7 +1,7 @@
//! Enforces a relational `<` operator in a resolved Leo program.
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_gadgets::binary::comparator::EvaluateLtGadget;
use leo_gadgets::bits::comparator::EvaluateLtGadget;
use leo_types::Span;
use snarkos_models::{

2
compiler/src/value/field/field_type.rs
View File

@ -1,7 +1,7 @@
//! A data type that represents a field value
use crate::errors::FieldError;
use leo_gadgets::binary::{ComparatorGadget, EvaluateLtGadget};
use leo_gadgets::bits::{ComparatorGadget, EvaluateLtGadget};
use leo_types::Span;
use snarkos_errors::gadgets::SynthesisError;

3
compiler/src/value/integer/integer.rs
View File

@ -1,7 +1,8 @@
//! Conversion of integer declarations to constraints in Leo.
use crate::{errors::IntegerError, integer::macros::IntegerTrait};
use leo_gadgets::{
binary::comparator::{ComparatorGadget, EvaluateLtGadget},
arithmetic::*,
bits::comparator::{ComparatorGadget, EvaluateLtGadget},
signed_integer::*,
};
use leo_types::{InputValue, IntegerType, Span};

4
compiler/src/value/integer/macros.rs
View File

@ -1,4 +1,4 @@
use leo_gadgets::*;
use leo_gadgets::signed_integer::*;
use snarkos_models::gadgets::utilities::{
boolean::Boolean,
@ -6,7 +6,7 @@ use snarkos_models::gadgets::utilities::{
};
use std::fmt::Debug;
pub trait IntegerTrait: Sized + Clone + Debug + Add {
pub trait IntegerTrait: Sized + Clone + Debug {
fn get_value(&self) -> Option<String>;
fn get_bits(&self) -> Vec<Boolean>;