Skip to content

[ re #431 ] Use same strategy for inlining types as for terms #878

[ re #431 ] Use same strategy for inlining types as for terms

[ re #431 ] Use same strategy for inlining types as for terms #878

Triggered via push November 5, 2025 16:04
Status Success
Total duration 8m 49s
Artifacts

ci.yml

on: push
Matrix: cabal
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
ubuntu-latest / ghc 9.6.6
Pattern match is redundant
ubuntu-latest / ghc 9.6.6
Pattern match is redundant
ubuntu-latest / ghc 9.6.6
• No explicit implementation for
ubuntu-latest / ghc 9.8.2
Pattern match is redundant
ubuntu-latest / ghc 9.8.2
Pattern match is redundant
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
ubuntu-latest / ghc 9.8.2
• No explicit implementation for
ubuntu-latest / ghc 9.4.8
Pattern match is redundant
ubuntu-latest / ghc 9.4.8
Pattern match is redundant
ubuntu-latest / ghc 9.4.8
• No explicit implementation for
ubuntu-latest / ghc 9.10.1
Pattern match is redundant
ubuntu-latest / ghc 9.10.1
Pattern match is redundant
ubuntu-latest / ghc 9.10.1
In the use of ‘tail’
ubuntu-latest / ghc 9.10.1
• No explicit implementation for