Allow input function calls to be wrapped in coercions #1224

Triggered via pull request October 2, 2024 05:01

BillHallahan

synchronize #248

input-expr

Status Success

Total duration 44m 36s

Artifacts –

haskell.yaml

on: pull_request

Matrix: build

Annotations

214 warnings

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)

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

Pattern match(es) are non-exhaustive

build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

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/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#L110

Pattern match(es) are non-exhaustive

build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

Pattern match(es) are non-exhaustive

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

Pattern match(es) are non-exhaustive

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

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/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#L110

Pattern match(es) are non-exhaustive

build (9.2.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

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.6.1, 3.10, test, -support-lh)

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

Pattern match(es) are non-exhaustive

build (9.6.1, 3.10, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

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

Pattern match(es) are non-exhaustive

build (9.4.4, 3.6, test, -support-lh): src/G2/Initialization/MkCurrExpr.hs#L116

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/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 (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)

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/Expr.hs#L624

This binding for ‘t’ shadows the existing binding

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

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’

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Lib/Printers.hs#L34

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

build (9.0.2, 3.6, test-lh, support-lh): src/G2/Liquid/Config.hs#L13

The import of ‘Data.Monoid’ is redundant

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’

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Allow input function calls to be wrapped in coercions #1224

Summary