Skip to content

Remove Case* builtins #244

Remove Case* builtins

Remove Case* builtins #244

Triggered via pull request October 14, 2025 00:37
Status Success
Total duration 13m 34s
Artifacts

covenant.yml

on: pull_request
Check formatting with Ormolu
6s
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 32s
Check Cabal file with cabal-gild
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
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"