Skip to content
Haskell CI

First-Order Logic #23

Sign in to view logs

First-Order Logic

First-Order Logic #23

Triggered via pull request May 24, 2024 04:12
@dopamanedopamane
synchronize #3
first-order-logic
Status Success
Total duration 2m 17s
Artifacts –

haskell.yml

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

Annotations

20 warnings
ubuntu-20.04 GHC 9.8: src/Bayeux/L.hs#L96
Pattern match(es) are non-exhaustive
ubuntu-20.04 GHC 9.8: src/Bayeux/L.hs#L135
Pattern match(es) are non-exhaustive
ubuntu-20.04 GHC 9.8: test/Test/Bayeux/L.hs#L50
Defined but not used: ‘testE’
ubuntu-20.04 GHC 9.8: test/Test/Bayeux/L.hs#L53
Defined but not used: ‘testT’
ubuntu-20.04 GHC 9.8: test/Test/Bayeux/L.hs#L56
Defined but not used: ‘renderTestT’
ubuntu-20.04 GHC 9.8: test/Test/Bayeux/L.hs#L58
Top-level binding with no type signature: testProof :: Bool
ubuntu-20.04 GHC 9.8: test/Test/Bayeux/L.hs#L58
Defined but not used: ‘testProof’
ubuntu-20.04 GHC 9.8: test/Main.hs#L5
The import of ‘Bayeux.Lp’ is redundant
ubuntu-20.04 GHC 9.8: test/Main.hs#L6
The import of ‘Data.Maybe’ is redundant
ubuntu-20.04 GHC 9.8: test/Main.hs#L7
The import of ‘Data.Text’ is redundant
ubuntu-20.04 GHC 9.0: src/Bayeux/L.hs#L96
Pattern match(es) are non-exhaustive
ubuntu-20.04 GHC 9.0: src/Bayeux/L.hs#L135
Pattern match(es) are non-exhaustive
ubuntu-20.04 GHC 9.0: test/Test/Bayeux/L.hs#L50
Defined but not used: ‘testE’
ubuntu-20.04 GHC 9.0: test/Test/Bayeux/L.hs#L53
Defined but not used: ‘testT’
ubuntu-20.04 GHC 9.0: test/Test/Bayeux/L.hs#L56
Defined but not used: ‘renderTestT’
ubuntu-20.04 GHC 9.0: test/Test/Bayeux/L.hs#L58
Defined but not used: ‘testProof’
ubuntu-20.04 GHC 9.0: test/Test/Bayeux/L.hs#L58
Top-level binding with no type signature: testProof :: Bool
ubuntu-20.04 GHC 9.0: test/Main.hs#L5
The import of ‘Bayeux.Lp’ is redundant
ubuntu-20.04 GHC 9.0: test/Main.hs#L6
The import of ‘Data.Maybe’ is redundant
ubuntu-20.04 GHC 9.0: test/Main.hs#L7
The import of ‘Data.Text’ is redundant