AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-26 19:11:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

add value from implicit group type

Browse Source
This commit is contained in:
collin 2020-08-18 22:38:20 -07:00
parent 368f555969
commit 4cf1a55ce9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,7 +26,7 @@ use crate::{
GroupType,
Integer,
};
use leo_typed::{Circuit, Function, Identifier, Span, Type};
use leo_typed::{Circuit, Function, Identifier, Span, Type, GroupValue};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
@ -85,7 +85,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedValue<F, G> {
Type::Address => Ok(ConstrainedValue::Address(Address::new(value, span)?)),
Type::Boolean => Ok(ConstrainedValue::Boolean(new_bool_constant(value, span)?)),
Type::Field => Ok(ConstrainedValue::Field(FieldType::constant(value, span)?)),
Type::Group => Err(ValueError::implicit_group(span)),
Type::Group => Ok(ConstrainedValue::Group(G::constant(GroupValue::Single(value, span))?)),
Type::IntegerType(integer_type) => Ok(ConstrainedValue::Integer(Integer::new_constant(
integer_type,
value,