Pela documentação, estou inclinado a pensar que, se eu habilitar a DerivingStrategiesextensão, não preciso habilitar GeneralizedNewtypeDerivingor DeriveAnyClass, nem qualquer outra extensão listada atualmente antes de §6.6.7.1 , por exemplo DerivingVia.
No entanto, este exemplo de brinquedo
{-# LANGUAGE DerivingStrategies #-}
newtype MyNum = MyNum Int
deriving stock (Eq, Ord, Show, Read)
deriving newtype (Num, Enum, Real, Integral)
main :: IO ()
main = print $ MyNum 0
compila muito bem via ghc this-file.hs(GHC 9.4.8), mas não via cabal build(Cabal 3.10.2.1), porque neste último caso, também é necessário que eu adicione
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
Alguma pista do porquê disso?
O foo.cabalarquivo fictício que estou usando é
cabal-version: 3.8
name: foo
version: 1.0
executable foo
main-is: main.hs
build-depends: base
Você precisa habilitar as extensões individuais.
DerivingStrategiesfornece apenas uma nova sintaxe para especificar qual estratégia de derivação você deseja.A razão pela qual o GHC não exige que você ative
GeneralizedNewtypeDerivingé porque ele faz parte doGHC2021conjunto de extensões de idioma e o GHC usa o conjunto de extensões de idiomaGHC2021por padrão.Cabal determina o conjunto de extensões de linguagem que usa por meio do
default-languagecampo de seus componentes. No seu exemplo você o deixou de fora (o que é uma má prática) e aparentemente o Cabal ainda usaHaskell2010por padrão nesse caso. Então, para corrigir isso, você pode simplesmente definir odefault-languagecampo: