AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2025-01-04 16:15:11 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update .program to .leo

Browse Source
This commit is contained in:
howardwu 2020-04-20 21:31:17 -07:00
parent 0cfcc8d55f
commit db4cea8967
5 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
simple.program → simple.leo
View File

0
simple_import.program → simple_import.leo
View File

2
src/aleo_program/imports.rs
View File

@ -47,7 +47,7 @@ impl<'ast> Import<'ast> {
pub fn get_file(&self) -> String { pub fn get_file(&self) -> String {
let path = self.get_source().to_str().unwrap(); let path = self.get_source().to_str().unwrap();
format!("{}.program", path) format!("{}.leo", path)
} }
} }

2
src/lib.rs
View File

@ -12,5 +12,3 @@ extern crate lazy_static;
pub mod ast; pub mod ast;
pub mod aleo_program; pub mod aleo_program;
// pub mod zokrates_program;

2
src/main.rs
View File

@ -38,7 +38,7 @@ impl<F: Field + PrimeField> ConstraintSynthesizer<F> for Benchmark<F> {
cs: &mut CS, cs: &mut CS,
) -> Result<(), SynthesisError> { ) -> Result<(), SynthesisError> {
// Read in file as string // Read in file as string
let unparsed_file = fs::read_to_string("simple.program").expect("cannot read file"); let unparsed_file = fs::read_to_string("simple.leo").expect("cannot read file");
// Parse the file using langauge.pest // Parse the file using langauge.pest
let mut file = ast::parse(&unparsed_file).expect("unsuccessful parse"); let mut file = ast::parse(&unparsed_file).expect("unsuccessful parse");