github/chiquito
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/chiquito.git synced 2026-04-23 03:00:09 -04:00
Code Issues Packages Projects Releases Wiki Activity

clippy'

Browse Source
This commit is contained in:
Steve Wang
2023-10-19 18:33:33 +07:00
parent 70e2e26f14
commit 02cf550bd1
1 changed files with 5 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/plonkish/backend/powdr_pil.rs
View File

@@ -537,10 +537,7 @@ fn convert_to_pil_expr_string<F: Debug + Clone>(
power
)
}
Expr::Query(queriable) => format!(
"{}",
convert_to_pil_queriable_string(queriable, annotations_map)
),
Expr::Query(queriable) => convert_to_pil_queriable_string(queriable, annotations_map),
Expr::Halo2Expr(_) => {
panic!("Halo2 native expression not supported by PIL backend.")
}
@@ -555,11 +552,11 @@ fn convert_to_pil_queriable_string<F>(
annotations_map: &HashMap<UUID, (UUID, String)>,
) -> String {
match query {
Queriable::Internal(s) => format!("{}", annotations_map.get(&s.uuid()).unwrap().1),
Queriable::Internal(s) => annotations_map.get(&s.uuid()).unwrap().clone().1,
Queriable::Forward(s, rot) => {
let annotation = annotations_map.get(&s.uuid()).unwrap().clone().1;
if !rot {
format!("{}", annotation)
annotation
} else {
format!("{}'", annotation)
}
@@ -567,7 +564,7 @@ fn convert_to_pil_queriable_string<F>(
Queriable::Shared(s, rot) => {
let annotation = annotations_map.get(&s.uuid()).unwrap().clone().1;
if rot == 0 {
format!("{}", annotation)
annotation
} else if rot == 1 {
format!("{}'", annotation)
} else {
@@ -579,7 +576,7 @@ fn convert_to_pil_queriable_string<F>(
Queriable::Fixed(s, rot) => {
let annotation = annotations_map.get(&s.uuid()).unwrap().clone().1;
if rot == 0 {
format!("{}", annotation)
annotation
} else if rot == 1 {
format!("{}'", annotation)
} else {