Skip to content
HLint

Introduce a new derivation mechanism supporting GADTs #1150

Sign in to view logs

Introduce a new derivation mechanism supporting GADTs

Introduce a new derivation mechanism supporting GADTs #1150

Triggered via pull request December 29, 2024 01:18
@lsrczlsrcz
opened #267
feat-gadt-all-instances
Status Failure
Total duration 46s
Artifacts –

hlint.yml

on: pull_request
hlint
37s
hlint
Fit to window
Zoom out
Zoom in

Annotations

1 error and 11 warnings
hlint
HLint failed with status: 1. Warning (11)
hlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hlint: src/Grisette/Internal/Internal/Decl/Core/Data/Class/SubstSym.hs#L10
Warning in module Grisette.Internal.Internal.Decl.Core.Data.Class.SubstSym: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE StandaloneDeriving #-}"
hlint: src/Grisette/Internal/Internal/Decl/Core/Data/Class/SubstSym.hs#L11
Warning in module Grisette.Internal.Internal.Decl.Core.Data.Class.SubstSym: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TemplateHaskell #-}"
hlint: test/Grisette/Core/TH/DerivationTest.hs#L5
Warning in module Grisette.Core.TH.DerivationTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeApplications #-}"
hlint: test/Grisette/Core/TH/DerivationTest.hs#L6
Warning in module Grisette.Core.TH.DerivationTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeOperators #-}" ▫︎ Note: may require `{-# LANGUAGE ExplicitNamespaces #-}` adding to the top of the file
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L3
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveAnyClass #-}"
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L4
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveGeneric #-}"
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L5
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveLift #-}"
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L14
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE StandaloneDeriving #-}"
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L15
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TemplateHaskell #-}"
hlint: test/Grisette/Unified/UnifiedClassesTest.hs#L16
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeApplications #-}"