semmc

Allow building with GHC 9.8 #76

Sign in to view logs

Annotations

10 warnings

The import of ‘Control.Applicative’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

The import of ‘Data.Semigroup’ is redundant

• Defaulting the type variable ‘i0’ to type ‘Integer’ in the following constraints

• Defaulting the type variable ‘i0’ to type ‘Integer’ in the following constraints

• Defaulting the type variable ‘i0’ to type ‘Integer’ in the following constraints

• Defaulting the type variable ‘i0’ to type ‘Integer’ in the following constraints

This job succeeded