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

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

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘Data.List’ is redundant

The export item ‘Warn(..)’ suggests that

‘PlainGhcException’ is exported by ‘module GHC.Utils.Panic’ and ‘Plain.PlainGhcException’

The import item ‘GHC.Driver.CmdLine.Warn(..)’ suggests that

Top-level binding with no type signature:

The import of ‘Data.List’ is redundant

• The constraint ‘HasLoc (GenLocated a e)’ matches

Pattern match(es) are non-exhaustive

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

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘tail’

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@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

Top-level binding with no type signature: extract_cons :: a -> a

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Module ‘Development.IDE.GHC.Compat’ does not export ‘assert’

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@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

Top-level binding with no type signature:

Module ‘Development.IDE.GHC.Compat’ does not export ‘assert’

Pattern match(es) are non-exhaustive