Introduce a new derivation mechanism supporting GADTs #1150
Annotations
1 error and 11 warnings
|
Run HLint
HLint failed with status: 1. Warning (11)
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run 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 #-}"
|
|
Run 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 #-}"
|
|
Run HLint:
test/Grisette/Core/TH/DerivationTest.hs#L5
Warning in module Grisette.Core.TH.DerivationTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeApplications #-}"
|
|
Run 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
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L3
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveAnyClass #-}"
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L4
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveGeneric #-}"
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L5
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveLift #-}"
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L14
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE StandaloneDeriving #-}"
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L15
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TemplateHaskell #-}"
|
|
Run HLint:
test/Grisette/Unified/UnifiedClassesTest.hs#L16
Warning in module Grisette.Unified.UnifiedClassesTest: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeApplications #-}"
|
Loading