Walker reducer #1234

Triggered via pull request October 7, 2024 03:59

BillHallahan

synchronize #244

walker-reducer

Status Failure

Total duration 39m 13s

Artifacts –

haskell.yaml

on: pull_request

Matrix: build

Annotations

3 errors and 208 warnings

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 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-g2q, -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-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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L5

The import of ‘G2.Language.Support’ is redundant

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Initialization/Interface.hs#L26

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)

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-g2q, -support-lh)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L5

The import of ‘G2.Language.Support’ is redundant

build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Initialization/Interface.hs#L26

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)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L108

Pattern match(es) are non-exhaustive

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L108

Pattern match(es) are non-exhaustive

build (8.10.7, 3.6, test, -support-lh)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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 (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#L5

The import of ‘G2.Language.Support’ is redundant

build (8.10.7, 3.6, test, -support-lh): src/G2/Initialization/Interface.hs#L26

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): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (8.10.7, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

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.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-g2q, -support-lh): src/G2/Language/Typing.hs#L81

The import of ‘Control.Monad’ is redundant

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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-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#L108

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.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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L108

Pattern match(es) are non-exhaustive

build (9.2.4, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.2.4, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

build (9.0.2, 3.6, test, -support-lh)

build (9.0.2, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.0.2, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L5

The import of ‘G2.Language.Support’ is redundant

build (9.0.2, 3.6, test, -support-lh): src/G2/Initialization/Interface.hs#L26

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)

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)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L108

Pattern match(es) are non-exhaustive

build (9.6.1, 3.10, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.6.1, 3.10, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

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 (9.4.4, 3.6, test, -support-lh)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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, -support-lh): src/G2/Initialization/MkCurrExpr.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, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.4.4, 3.6, test, -support-lh): tests/TestFiles/InstTypes1.hs#L110

Pattern match is redundant

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

build (8.10.7, 3.6, test-lh, support-lh)

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/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

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#L5

The import of ‘G2.Language.Support’ is redundant

build (8.10.7, 3.6, test-lh, support-lh): src/G2/Initialization/Interface.hs#L26

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)

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-lh, support-lh): tests_lh/test_files/Pos/Test19.hs#L4

‘size’ is exported by ‘size’ and ‘size’

build (8.10.7, 3.6, test-lh, support-lh): tests_lh/test_files/Pos/Test19.hs#L4

‘size’ is exported by ‘size’ and ‘size’

build (8.10.7, 3.6, test-lh, support-lh): tests_lh/test_files/Neg/Test3.hs#L4

‘size’ is exported by ‘size’ and ‘size’

build (8.10.7, 3.6, test-lh, support-lh): tests_lh/test_files/Neg/Test3.hs#L4

‘size’ is exported by ‘size’ and ‘size’

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 (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L81

The import of ‘Control.Monad’ is redundant

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Support.hs#L36

The qualified import of ‘Data.Map’ is redundant

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Expr.hs#L93

The import of ‘Data.Foldable’ is redundant

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L73

Defined but not used: ‘caseOfKnownCons’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L86

Defined but not used: ‘l’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L92

Defined but not used: ‘matchingDataAlt’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Simplification.hs#L96

Defined but not used: ‘matchingLitAlt’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Initialization/Interface.hs#L5

The import of ‘G2.Language.Support’ is redundant

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Initialization/Interface.hs#L26

Defined but not used: ‘ts’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Execution/NormalForms.hs#L66

Defined but not used: ‘eenv’

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Walker reducer #1234

Summary