• A pattern match on a GADT requires the GADTs or TypeFamilies language extension

Process completed with exit code 1.

• A pattern match on a GADT requires the GADTs or TypeFamilies language extension

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

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

Defined but not used: ‘mkHieFile’

Defined but not used: ‘mkHieFileWithSource’

Defined but not used: ‘getCompressedAsts’

The import of ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the following constraints to type ‘String’

• Defaulting the following constraints to type ‘String’

Pattern match(es) are non-exhaustive

The import of ‘Control.Monad.Extra’ is redundant

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

The import of ‘Development.IDE.Core.Service’ is redundant

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

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’

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

The import of ‘Development.IDE.Core.Service’ is redundant

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

Defined but not used: ‘mkHieFile’

Defined but not used: ‘mkHieFileWithSource’

Defined but not used: ‘getCompressedAsts’

The import of ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the following constraints to type ‘String’

• Defaulting the following constraints to type ‘String’

Pattern match(es) are non-exhaustive

The import of ‘Control.Monad.Extra’ is redundant

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

The import of ‘Development.IDE.Core.Service’ is redundant

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 ‘fold’ from module ‘Data.Foldable’ is redundant

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’

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

The import of ‘Development.IDE.Core.Service’ is redundant

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Control.Monad’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant

The import of ‘Development.IDE.Core.PositionMapping’ is redundant

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 ‘head’

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 ‘fold’ from module ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Control.Monad’ is redundant

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

• Defaulting the type variable ‘a0’ to type ‘String’ in the following constraints

The import of ‘Control.Monad.Extra’ is redundant

The import of ‘Data.Tuple.Extra’ is redundant

The import of ‘Development.IDE.Core.PluginUtils’ is redundant