Reducer conc #1341

Triggered via pull request December 26, 2024 04:35

QHWU1228

synchronize #257

reducer_conc

Status Success

Total duration 28m 0s

Artifacts –

haskell.yaml

on: pull_request

Matrix: build

Annotations

162 warnings

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

Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down

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

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

build (9.6.1, 3.10, test, -support-lh)

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

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

build (9.4.4, 3.6, test-g2q, -support-lh)

build (9.6.1, 3.10, test-g2q, -support-lh)

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

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

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

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

The import of ‘Control.Monad’ is redundant

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

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

Defined but not used: ‘ts’

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Execution/NormalForms.hs#L71

Defined but not used: ‘eenv’

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

The import of ‘Control.Monad’ is redundant

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

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

The import of ‘Control.Monad’ is redundant

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

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

Defined but not used: ‘ts’

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

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, -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): 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.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#L82

The import of ‘Control.Monad’ is redundant

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

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

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

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

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

build (9.0.2, 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): tests_lh/test_files/Neg/Test3.hs#L4

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

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

The import of ‘Control.Monad’ is redundant

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

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

Defined but not used: ‘ts’

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

Defined but not used: ‘eenv’

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 (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 (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.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L82

The import of ‘Control.Monad’ is redundant

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

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.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#L82

The import of ‘Control.Monad’ is redundant

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

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

Defined but not used: ‘ts’

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

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

The import of ‘Control.Monad’ is redundant

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

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Reducer conc #1341

Summary