logos-storage/plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2-verifier.git synced 2026-01-02 13:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix precedence bug (typo) in pretty-printing

Browse Source
This commit is contained in:
Balazs Komuves 2024-12-15 14:54:30 +01:00
parent c949f3d3f2
commit 9967a612a2
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Algebra/Expr.hs
View File

@ -78,7 +78,7 @@ instance Pretty var => Pretty (Expr var) where
LitE x -> prettyPrec 0 x
AddE e1 e2 -> showParen (d > add_prec) $ prettyPrec add_prec e1 . showString " + " . prettyPrec (add_prec+1) e2
SubE e1 e2 -> showParen (d > add_prec) $ prettyPrec add_prec e1 . showString " - " . prettyPrec (add_prec+1) e2
MulE e1 e2 -> showParen (d > mul_prec) $ prettyPrec add_prec e1 . showString " * " . prettyPrec (mul_prec+1) e2
MulE e1 e2 -> showParen (d > mul_prec) $ prettyPrec mul_prec e1 . showString " * " . prettyPrec (mul_prec+1) e2
ImgE e -> showParen (d > mul_prec) $ showString "X*" . (prettyPrec mul_prec e)
where
add_prec = 5