Skip to content
G2

Working with unmapped variable in an expression environment and build… #917

Sign in to view logs

Working with unmapped variable in an expression environment and build…

Working with unmapped variable in an expression environment and build… #917

Triggered via pull request July 3, 2023 21:12
@QHWU1228QHWU1228
synchronize #200
unmapped
Status Success
Total duration 26m 40s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yaml

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

Annotations

118 warnings
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): 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.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 (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.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
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 (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L152
• No explicit implementation for
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26
Rule "addOneCommutative" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27
Rule "doubleNegative" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27
Rule "doubleNegative" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28
Rule "maybeForceZero" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29
Rule "maxWithSelf" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30
Rule "addOneJust" may never fire because ‘just’ might inline first
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30
Rule "addOneJust" may never fire
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31
Rule "justJust" may never fire because ‘just’ might inline first
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (8.6.5, 3.0, 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): 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): 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.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L26
Rule "addOneCommutative" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27
Rule "doubleNegative" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L27
Rule "doubleNegative" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L28
Rule "maybeForceZero" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L29
Rule "maxWithSelf" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30
Rule "addOneJust" may never fire because ‘just’ might inline first
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L30
Rule "addOneJust" may never fire
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L31
Rule "justJust" may never fire because ‘just’ might inline first
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L32
Rule "plusDouble" may never fire because ‘t2’ might inline first
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/Correct/SimpleCorrect.hs#L33
Rule "polymorphism" may never fire because ‘nop’ might inline first
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test, -support-lh): src/G2/Data/UnionFind.hs#L152
• No explicit implementation for
build (8.2.2, 3.0, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’