Skip to content
G2

Allow input function calls to be wrapped in coercions #1216

Sign in to view logs

Allow input function calls to be wrapped in coercions

Allow input function calls to be wrapped in coercions #1216

Triggered via pull request October 1, 2024 20:03
@BillHallahanBillHallahan
opened #248
input-expr
Status Failure
Total duration 13m 20s
Artifacts –

haskell.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

52 errors and 124 warnings
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Liquid/Interface.hs#L353
• Couldn't match expected type ‘(a, b, c, d)’
build (8.10.7, 3.6, test-lh, support-lh)
Process completed with exit code 1.
build (9.0.2, 3.6, test-lh, support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.0.2, 3.6, test-lh, support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-g2q, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (8.10.7, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘IO Bool’
build (8.10.7, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (8.10.7, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.4.4, 3.6, test, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.4.4, 3.6, test-g2q, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.4.4, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.4.4, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.4.4, 3.6, test, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type: Ghc Bool
build (9.4.4, 3.6, test, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type ‘Bindings’
build (9.4.4, 3.6, test, -support-lh)
The operation was canceled.
build (9.4.4, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.4.4, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.4.4, 3.6, test-g2q, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type: Ghc Bool
build (9.4.4, 3.6, test-g2q, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type ‘Bindings’
build (9.4.4, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.0.2, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.0.2, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.0.2, 3.6, test, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.2.4, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.2.4, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.2.4, 3.6, test, -support-lh)
The operation was canceled.
build (9.6.1, 3.10, test, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (8.10.7, 3.6, test, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.6.1, 3.10, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.6.1, 3.10, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.6.1, 3.10, test, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type: Ghc Bool
build (9.6.1, 3.10, test, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type ‘Bindings’
build (9.6.1, 3.10, test, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘IO Bool’
build (8.10.7, 3.6, test, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (8.10.7, 3.6, test, -support-lh)
The operation was canceled.
build (9.6.1, 3.10, test-g2q, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.6.1, 3.10, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.6.1, 3.10, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.6.1, 3.10, test-g2q, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type: Ghc Bool
build (9.6.1, 3.10, test-g2q, -support-lh): tests/FuzzExecution.hs#L49
• Couldn't match expected type ‘Bindings’
build (9.6.1, 3.10, test-g2q, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test-g2q, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.0.2, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.0.2, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.0.2, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test-g2q, -support-lh)
The job was canceled because "_8_10_7_3_6_test-lh_suppo" failed.
build (9.2.4, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type: IO Bool
build (9.2.4, 3.6, test-g2q, -support-lh): tests/InputOutputTest.hs#L112
• Couldn't match expected type ‘Bindings’
build (9.2.4, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-lh, support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test-lh, support-lh)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, haskell/actions/setup@v2, actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Execution/NormalForms.hs#L66
Defined but not used: ‘eenv’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Lib/Printers.hs#L34
The import of ‘G2.Language.KnownValues’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Liquid/Config.hs#L13
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-lh, support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.0.2, 3.6, test-lh, support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (8.10.7, 3.6, test-g2q, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Execution/NormalForms.hs#L66
Defined but not used: ‘eenv’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Lib/Printers.hs#L34
The import of ‘G2.Language.KnownValues’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Solver/Maximize.hs#L28
• No explicit implementation for
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test-g2q, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.4.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.0.2, 3.6, test, -support-lh): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (9.0.2, 3.6, test, -support-lh): src/G2/Execution/NormalForms.hs#L66
Defined but not used: ‘eenv’
build (9.0.2, 3.6, test, -support-lh): src/G2/Lib/Printers.hs#L34
The import of ‘G2.Language.KnownValues’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Solver/Maximize.hs#L28
• No explicit implementation for
build (9.0.2, 3.6, test, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.6.1, 3.10, test, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (8.10.7, 3.6, test, -support-lh): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (8.10.7, 3.6, test, -support-lh): src/G2/Execution/NormalForms.hs#L66
Defined but not used: ‘eenv’
build (8.10.7, 3.6, test, -support-lh): src/G2/Lib/Printers.hs#L34
The import of ‘G2.Language.KnownValues’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Solver/Maximize.hs#L28
• No explicit implementation for
build (8.10.7, 3.6, test, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.6.1, 3.10, test-g2q, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Execution/NormalForms.hs#L66
Defined but not used: ‘eenv’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Lib/Printers.hs#L34
The import of ‘G2.Language.KnownValues’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Solver/Maximize.hs#L28
• No explicit implementation for
build (9.0.2, 3.6, test-g2q, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.2.4, 3.6, test-g2q, -support-lh)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L81
The import of ‘Control.Monad’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L624
This binding for ‘t’ shadows the existing binding
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L97
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L103
Pattern match(es) are non-exhaustive