Merge pull request #341 from GaloisInc/vr/block-invariants-docstrings #648

Annotations

31 warnings

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):

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

The import of ‘+, <=’

Unhandled instruction definitions for ISA: 18

• No explicit implementation for

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

The import of ‘Data.Monoid’ is redundant

The import of ‘Data.Parameterized.List’ is redundant

The qualified import of ‘Data.Word.Indexed’ is redundant

The qualified import of ‘Text.PrettyPrint.HughesPJClass’ is redundant

Pattern match is redundant