fiddle with happy bounds again (#567) #69
Annotations
30 warnings
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
|
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
|
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
|