Skip to content

JSON Instances

JSON Instances #233

Triggered via pull request October 1, 2025 04:28
Status Failure
Total duration 5m 32s
Artifacts

covenant.yml

on: pull_request
Check formatting with Ormolu
7s
Check formatting with Ormolu
Check with HLint
10s
Check with HLint
Generate matrix from cabal
4s
Generate matrix from cabal
Check Cabal file with cabal-gild
2m 34s
Check Cabal file with cabal-gild
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

24 errors and 9 warnings
9.12.2 on ubuntu-latest
Process completed with exit code 1.
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L86
The import of ‘Data.Vector’ is redundant
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L77
The import of ‘foldl'’ from module ‘Data.Foldable’ is redundant
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L74
The import of ‘toJSON1, withArray’
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L71
The module ‘Data.Aeson.Encoding’ does not have an explicit import list
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L62
The import of ‘Encoding, KeyValue, fromJSON’
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L48
The import of ‘AbstractTy, CompT, CompTBody, ConstructorName’
9.12.2 on ubuntu-latest: src/Covenant/JSON.hs#L45
The import item ‘Arg(..)’ does not have an explicit import list
9.10.2 on macos-latest
The operation was canceled.
9.10.2 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on windows-latest
The operation was canceled.
9.8.4 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.10.2 on windows-latest
The operation was canceled.
9.10.2 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.12.2 on windows-latest
The operation was canceled.
9.12.2 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on ubuntu-latest
The operation was canceled.
9.8.4 on ubuntu-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.10.2 on ubuntu-latest
The operation was canceled.
9.10.2 on ubuntu-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.12.2 on macos-latest
The operation was canceled.
9.12.2 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on macos-latest
The operation was canceled.
9.8.4 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
Check with HLint: src/Covenant/Test.hs#L979
Suggestion in conformance_Result in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Result = ..." ▫︎ Perhaps: "conformanceResult = ..."
Check with HLint: src/Covenant/Test.hs#L978
Suggestion in conformance_Result in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Result :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceResult :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L968
Suggestion in conformance_Maybe_SOP in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Maybe_SOP = ..." ▫︎ Perhaps: "conformanceMaybeSOP = ..."
Check with HLint: src/Covenant/Test.hs#L967
Suggestion in conformance_Maybe_SOP in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Maybe_SOP :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceMaybeSOP :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L965
Suggestion in conformance_OpaqueFoo in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_OpaqueFoo = ..." ▫︎ Perhaps: "conformanceOpaqueFoo = ..."
Check with HLint: src/Covenant/Test.hs#L964
Suggestion in conformance_OpaqueFoo in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_OpaqueFoo :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceOpaqueFoo :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L962
Suggestion in conformance_Void in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Void = ..." ▫︎ Perhaps: "conformanceVoid = ..."
Check with HLint: src/Covenant/Test.hs#L961
Suggestion in conformance_Void in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Void :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceVoid :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/JSON.hs#L214
Suggestion in validateProperName in module Covenant.JSON: Redundant $ ▫︎ Found: "fail $ \"Empty String cannot be a TyName\"" ▫︎ Perhaps: "fail \"Empty String cannot be a TyName\""