macaw-x86-symbolic: Fix idiv/div semantics #772

Annotations

32 warnings

Pattern match is redundant

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

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

The qualified import of ‘What4.InterpretedFloatingPoint’ 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.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