Support printing rules in LaTeX #843
ghc.yml
on: pull_request
Run static checks
10s
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
0s
Annotations
12 errors and 4 warnings
Run tests (ubuntu-latest)
Error: The process '/usr/local/bin/stack' failed with exit code 1
|
Run tests (ubuntu-latest)
The process '/usr/local/bin/stack' failed with exit code 1
|
Run pipeline (ubuntu-latest)
Error: The process '/usr/local/bin/stack' failed with exit code 1
|
Run pipeline (ubuntu-latest)
The process '/usr/local/bin/stack' failed with exit code 1
|
Run tests (macos-12)
Error: The process '/Users/runner/.ghcup/bin/stack' failed with exit code 1
|
Run tests (macos-12)
The process '/Users/runner/.ghcup/bin/stack' failed with exit code 1
|
Run pipeline (macos-12)
Error: The process '/Users/runner/.ghcup/bin/stack' failed with exit code 1
|
Run pipeline (macos-12)
The process '/Users/runner/.ghcup/bin/stack' failed with exit code 1
|
Run pipeline (windows-latest)
Error: The process 'C:\hostedtoolcache\windows\stack\3.1.1\x64\stack.exe' failed with exit code 1
|
Run pipeline (windows-latest)
The process 'C:\hostedtoolcache\windows\stack\3.1.1\x64\stack.exe' failed with exit code 1
|
Run tests (windows-latest)
Error: The process 'C:\hostedtoolcache\windows\stack\3.1.1\x64\stack.exe' failed with exit code 1
|
Run tests (windows-latest)
The process 'C:\hostedtoolcache\windows\stack\3.1.1\x64\stack.exe' failed with exit code 1
|
Run static checks:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L86
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#L97
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\""
|
Run static checks:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L132
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex pattern)\n <>\n \"\\\\(\\\\trans\\\\)\"\n <>\n (inMathMode $ toLatex result)\n <>\n (if not (null when) || isNonEmptyContext context then\n \"\\\\\\\\\\\\text {if }\"\n else\n mempty)\n <>\n maybe mempty (\\ c -> \"&\" <> toLatex c <> \"\\\\\\\\\") context\n <>\n fold (intersperse \",\\\\\\\\\" (map ((\"&\" <>) . toLatex) when))\n <> \"\\\\\\\\\\\\\\\\\"" ▫︎ Perhaps: "inMathMode (toLatex pattern)\n <>\n \"\\\\(\\\\trans\\\\)\"\n <>\n (inMathMode $ toLatex result)\n <>\n (if not (null when) || isNonEmptyContext context then\n \"\\\\\\\\\\\\text {if }\"\n else\n mempty)\n <>\n maybe mempty (\\ c -> \"&\" <> toLatex c <> \"\\\\\\\\\") context\n <>\n fold (intersperse \",\\\\\\\\\" (map ((\"&\" <>) . toLatex) when))\n <> \"\\\\\\\\\\\\\\\\\""
|
Run static checks:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L134
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex result)\n <>\n (if not (null when) || isNonEmptyContext context then\n \"\\\\\\\\\\\\text {if }\"\n else\n mempty)\n <>\n maybe mempty (\\ c -> \"&\" <> toLatex c <> \"\\\\\\\\\") context\n <>\n fold (intersperse \",\\\\\\\\\" (map ((\"&\" <>) . toLatex) when))\n <> \"\\\\\\\\\\\\\\\\\"" ▫︎ Perhaps: "inMathMode (toLatex result)\n <>\n (if not (null when) || isNonEmptyContext context then\n \"\\\\\\\\\\\\text {if }\"\n else\n mempty)\n <>\n maybe mempty (\\ c -> \"&\" <> toLatex c <> \"\\\\\\\\\") context\n <>\n fold (intersperse \",\\\\\\\\\" (map ((\"&\" <>) . toLatex) when))\n <> \"\\\\\\\\\\\\\\\\\""
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
pipeline-files-Linux
|
1.44 KB |
|
pipeline-files-Windows
|
1.45 KB |
|
pipeline-files-macOS
|
1.44 KB |
|