github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Humoring the lint.

Browse Source
This commit is contained in:
Lucas Clemente Vella
2023-08-16 17:09:03 +01:00
parent 4fbfdabd50
commit e2541f5e82
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
compiler/src/util.rs
View File

@@ -4,8 +4,8 @@ use std::{fs::File, io::BufReader, path::Path};
pub trait PolySet {
const FILE_NAME: &'static str;
fn get_polys<'a, T: FieldElement>(
pil: &'a Analyzed<T>,
fn get_polys<T: FieldElement>(
pil: &Analyzed<T>,
) -> Vec<&(Polynomial, Option<FunctionValueDefinition<T>>)>;
}
@@ -13,9 +13,9 @@ pub struct FixedPolySet;
impl PolySet for FixedPolySet {
const FILE_NAME: &'static str = "constants.bin";
fn get_polys<'a, T: FieldElement>(
pil: &'a Analyzed<T>,
) -> Vec<&'a (Polynomial, Option<FunctionValueDefinition<T>>)> {
fn get_polys<T: FieldElement>(
pil: &Analyzed<T>,
) -> Vec<&(Polynomial, Option<FunctionValueDefinition<T>>)> {
pil.constant_polys_in_source_order()
}
}
@@ -24,9 +24,9 @@ pub struct WitnessPolySet;
impl PolySet for WitnessPolySet {
const FILE_NAME: &'static str = "commits.bin";
fn get_polys<'a, T: FieldElement>(
pil: &'a Analyzed<T>,
) -> Vec<&'a (Polynomial, Option<FunctionValueDefinition<T>>)> {
fn get_polys<T: FieldElement>(
pil: &Analyzed<T>,
) -> Vec<&(Polynomial, Option<FunctionValueDefinition<T>>)> {
pil.committed_polys_in_source_order()
}
}