Skip to content
G2

IORef #1112

Sign in to view logs

IORef

IORef #1112

Triggered via pull request July 21, 2024 04:39
@BillHallahanBillHallahan
synchronize #234
ioref
Status Success
Total duration 32m 5s
Artifacts –

haskell.yaml

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

Annotations

214 warnings
build (9.2.4, 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 (9.2.4, 3.6, test-g2q, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
build (9.6.1, 3.10, 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 (9.6.1, 3.10, test-g2q, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.6.1, 3.10, test-g2q, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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 uses Node.js version which is deprecated 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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
build (9.0.2, 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 (9.0.2, 3.6, test-g2q, -support-lh)
The following actions uses Node.js version which is deprecated 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 (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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.4.4, 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 (9.4.4, 3.6, test-g2q, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
build (9.6.1, 3.10, test, -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 (9.6.1, 3.10, test, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.6.1, 3.10, test, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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.2.4, 3.6, test, -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 (9.2.4, 3.6, test, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
build (8.10.7, 3.6, test, -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, -support-lh)
The following actions uses Node.js version which is deprecated 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, -support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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/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): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
build (9.0.2, 3.6, test, -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 (9.0.2, 3.6, test, -support-lh)
The following actions uses Node.js version which is deprecated 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 (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): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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)
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 (9.4.4, 3.6, test, -support-lh)
The following actions uses Node.js version which is deprecated 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 (9.4.4, 3.6, test, -support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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/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 (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
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 uses Node.js version which is deprecated 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/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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)
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 (9.0.2, 3.6, test-lh, support-lh)
The following actions uses Node.js version which is deprecated 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 (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Syntax.hs#L15
The qualified import of ‘GHC.Generics’ is redundant
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t'’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L262
Defined but not used: ‘t'’
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L268
Pattern match is redundant
build (9.0.2, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L275
This binding for ‘t’ shadows the existing binding
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 (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).