macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #659

Annotations

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

Pattern match is redundant

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

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).