Enable debug printing in cabal.project (re https://github.com/agda/ag… #460
jespercockxAnnotations
10 warnings
|
ubuntu-latest / ghc 9.6.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.6.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.4.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.2.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.2.5
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.0.2
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.6.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.8.4
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.10.7
• No explicit implementation for
|