Merge pull request #619 from AleoHQ/implicit-groups

[Feature] Implicit groups
ProvableHQ · Feb 4, 2021 · bd2bd1f · bd2bd1f
2 parents 7919eaa + 431aca1
commit bd2bd1f
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/asg/src/expression/constant.rs b/asg/src/expression/constant.rs
@@ -173,6 +173,11 @@ impl FromAst<leo_ast::ValueExpression> for Constant {
                     span: Some(span.clone()),
                     value: ConstValue::Field(value.parse().map_err(|_| AsgConvertError::invalid_int(&value, span))?),
                 },
+                Some(PartialType::Type(Type::Group)) => Constant {
+                    parent: RefCell::new(None),
+                    span: Some(span.clone()),
+                    value: ConstValue::Group(GroupValue::Single(value.to_string())),
+                },
                 Some(PartialType::Type(Type::Address)) => Constant {
                     parent: RefCell::new(None),
                     span: Some(span.clone()),

diff --git a/asg/tests/pass/group/mod.rs b/asg/tests/pass/group/mod.rs
@@ -22,6 +22,16 @@ fn test_one() {
     load_asg(program_string).unwrap();
 }
 
+#[test]
+fn test_implicit() {
+    let program_string = r#"
+    function main() {
+        let element: group = 0;
+    }
+    "#;
+    load_asg(program_string).unwrap();
+}
+
 #[test]
 fn test_zero() {
     let program_string = include_str!("zero.leo");