[ #242 ] Implement GADT syntax #908
Triggered via pull request
November 28, 2025 21:59
jespercockx
Status
Success
Total duration
21m 31s
Artifacts
–
Annotations
15 warnings
|
ubuntu-latest / ghc 9.12.2
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.12.2
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.12.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.12.2
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.8.4
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.8.4
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.8.4
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.4
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.6.7
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.6.7
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.6.7
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.10.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.10.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.10.3
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.10.3
• No explicit implementation for
|