Merge pull request #450 from GaloisInc/449-git-urls #917

Annotations

31 warnings

The import of ‘Control.Applicative’ is redundant

The import of ‘+, <=’

• No explicit implementation for

Unhandled instruction definitions for ISA: 18

The import of ‘Data.String’ is redundant

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

The qualified import of ‘Data.ByteString.Lazy’ is redundant

The import of ‘Data.Monoid’ is redundant

Pattern match(es) are non-exhaustive

• No explicit implementation for

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of type constructor or class ‘Doc’

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

Pattern match is redundant

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’