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

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

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

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

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/.

Defined but not used: ‘funArgs’

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

The import of ‘Control.Lens’ is redundant

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

The import of ‘Data.Foldable’ is redundant

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

The import of ‘Data.String’ is redundant

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

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

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

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

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

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

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

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

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

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

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

The import of ‘What4.Config’ is redundant

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

The import of ‘What4.Config’ is redundant

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/.

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

The import of ‘What4.Config’ is redundant

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’

The import of ‘+, <=’

The import of ‘+, <=’

• No explicit implementation for

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