overlay: dependent-sum-template_0_2_0_1 + jailbreak #212
Annotations
40 warnings
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• No explicit implementation for
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
The use of ‘~’ without TypeOperators
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
The use of ‘~’ without TypeOperators
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Noncanonical ‘return’ definition detected
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Noncanonical ‘return’ definition detected
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
In the use of ‘iso8601DateFormat’
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Numeric.Natural’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
In the use of ‘iso8601DateFormat’
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Data.Semigroup’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The import of ‘Numeric.Natural’ is redundant
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘tail’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘head’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
In the use of ‘tail’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Control.Applicative’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Word’ from module ‘Data.Word’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
In the use of ‘memcpy’
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Control.Applicative’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The import of ‘Word’ from module ‘Data.Word’ is redundant
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
In the use of ‘memcpy’
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Defined but not used: data constructor ‘Ticket’
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
Pattern bindings containing unlifted types should use
|