Fixing timeouts #919

Triggered via push July 5, 2023 04:19

BillHallahan

pushed f05d552

master

Status Success

Total duration 26m 49s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yaml

on: push

Matrix: build

Annotations

178 warnings

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

Defined but not used: ‘t'’

build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t’

build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t'’

build (8.6.5, 3.0, 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/Naming.hs#L65

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Semigroup’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L9

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

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L11

The import of ‘Data.List’ is redundant

build (9.4.4, 3.6, test-g2q, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L12

The import of ‘Data.Maybe’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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

Pattern match(es) are non-exhaustive

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

The import of ‘Data.Monoid’ is redundant

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

Defined but not used: ‘t’

build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261

Defined but not used: ‘t'’

build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t’

build (8.2.2, 3.0, 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): tests_nebula_plugin/Main.hs#L57

A do-notation statement discarded a result of type

build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60

A do-notation statement discarded a result of type

build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61

This binding for ‘stdout’ shadows the existing binding

build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64

A do-notation statement discarded a result of type

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L27

The import of ‘Data.Semigroup’ is redundant

build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L11

The import of ‘Data.Monoid’ is redundant

build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14

The import of ‘Text.Read’ is redundant

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

The import of ‘Data.Monoid’ 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 (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 (9.4.4, 3.6, test, -support-lh): src/G2/Language/Naming.hs#L65

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Semigroup’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (9.4.4, 3.6, test, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L9

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

build (9.4.4, 3.6, test, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L11

The import of ‘Data.List’ is redundant

build (9.4.4, 3.6, test, -support-lh): src/G2/Language/TypeClasses/Extra.hs#L12

The import of ‘Data.Maybe’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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

Pattern match(es) are non-exhaustive

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

The import of ‘Data.Monoid’ is redundant

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): src/G2/Language/Typing.hs#L261

Defined but not used: ‘t'’

build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t’

build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t'’

build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L268

Pattern match is redundant

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 (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L57

A do-notation statement discarded a result of type

build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L60

A do-notation statement discarded a result of type

build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L61

This binding for ‘stdout’ shadows the existing binding

build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L64

A do-notation statement discarded a result of type

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (9.0.2, 3.6, test, -support-lh): src/G2/Data/UnionFind.hs#L27

The import of ‘Data.Semigroup’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Text.Read’ is redundant

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

The import of ‘Data.Monoid’ 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): 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 (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57

A do-notation statement discarded a result of type

build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60

A do-notation statement discarded a result of type

build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61

This binding for ‘stdout’ shadows the existing binding

build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64

A do-notation statement discarded a result of type

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L27

The import of ‘Data.Semigroup’ is redundant

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L11

The import of ‘Data.Monoid’ is redundant

build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14

The import of ‘Text.Read’ is redundant

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

The import of ‘Data.Monoid’ is redundant

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 (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L57

A do-notation statement discarded a result of type

build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L60

A do-notation statement discarded a result of type

build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L61

This binding for ‘stdout’ shadows the existing binding

build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L64

A do-notation statement discarded a result of type

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

The import of ‘Data.Monoid’ is redundant

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

The import of ‘Data.Monoid’ is redundant

build (8.10.7, 3.6, test, -support-lh): src/G2/Data/UnionFind.hs#L27

The import of ‘Data.Semigroup’ is redundant

build (8.10.7, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L11

The import of ‘Data.Monoid’ is redundant

build (8.10.7, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L14

The import of ‘Text.Read’ is redundant

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

The import of ‘Data.Monoid’ 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): 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-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): 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’

build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L261

Defined but not used: ‘t’

build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L261

Defined but not used: ‘t'’

build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t’

build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L262

Defined but not used: ‘t'’

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fixing timeouts #919

Summary