Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, haskell/actions/setup@v2, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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

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

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

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

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

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

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

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

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

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

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

The import of ‘Control.Applicative’ is redundant

The import of ‘+, <=’

The import of ‘+, <=’

• No explicit implementation for

• No explicit implementation for

Unhandled instruction definitions for ISA: 18

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

Pattern match(es) are non-exhaustive

• No explicit implementation for

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

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

Defined but not used: ‘funArgs’

The import of ‘Control.Lens’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.Parameterized.Context’ is redundant

The import of ‘Lang.Crucible.Backend’ is redundant

The import of ‘Lang.Crucible.Backend.Simple’ is redundant

The import of ‘Lang.Crucible.Simulator’ is redundant

The import of ‘Lang.Crucible.Simulator.Profiling’ is redundant