Skip to content

574 pretty printing is a bit off #1033

574 pretty printing is a bit off

574 pretty printing is a bit off #1033

Triggered via pull request November 28, 2024 16:51
Status Success
Total duration 48m 40s
Artifacts 3

ghc.yml

on: pull_request
Run static checks
14s
Run static checks
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
0s
Build and upload site (master)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run static checks: eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L111
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex x) <> \" is the scope of the redex\"" ▫︎ Perhaps: "inMathMode (toLatex x) <> \" is the scope of the redex\""
Run static checks: eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L122
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex nf_inside_formation)\n <> \" is nf inside formation\"" ▫︎ Perhaps: "inMathMode (toLatex nf_inside_formation)\n <> \" is nf inside formation\""

Artifacts

Produced during runtime
Name Size
pipeline-files-Linux
2.86 MB
pipeline-files-Windows
369 KB
pipeline-files-macOS
368 KB