adapt to caaf53881d5cc82ebff617f39ad5363429d2eccf (#570) #73
Annotations
30 warnings
ubuntu
• Redundant constraint: Semigroup a
|
ubuntu
The use of ‘~’ without TypeOperators
|
ubuntu
The use of ‘~’ without TypeOperators
|
ubuntu
The import of ‘Oracles.Flag’ is redundant
|
ubuntu
Defined but not used: ‘threads’
|
ubuntu
Pattern match(es) are non-exhaustive
|
ubuntu
Pattern match(es) are non-exhaustive
|
ubuntu
Pattern match(es) are non-exhaustive
|
ubuntu
Pattern match(es) are non-exhaustive
|
ubuntu
Pattern match(es) are non-exhaustive
|
macos
• Redundant constraint: Semigroup a
|
macos
The use of ‘~’ without TypeOperators
|
macos
The use of ‘~’ without TypeOperators
|
macos
The import of ‘Oracles.Flag’ is redundant
|
macos
Defined but not used: ‘threads’
|
macos
Pattern match(es) are non-exhaustive
|
macos
Pattern match(es) are non-exhaustive
|
macos
Pattern match(es) are non-exhaustive
|
macos
Pattern match(es) are non-exhaustive
|
macos
Pattern match(es) are non-exhaustive
|
windows
• Redundant constraint: Semigroup a
|
windows
The use of ‘~’ without TypeOperators
|
windows
The use of ‘~’ without TypeOperators
|
windows
The import of ‘Oracles.Flag’ is redundant
|
windows
Defined but not used: ‘threads’
|
windows
Pattern match(es) are non-exhaustive
|
windows
Pattern match(es) are non-exhaustive
|
windows
Pattern match(es) are non-exhaustive
|
windows
Pattern match(es) are non-exhaustive
|
windows
Pattern match(es) are non-exhaustive
|