ghc 8.0rc4 treats INLINE pragmas for methods with default (implicit) definitions as errors
I was getting around to testing some of my maths code with ghc 8.0 and i noticed that whereas in ghc 7.10 and earlier i could have an INLINE pragma for a method of a type class method that has a default implementation (whether this did anything or not is another question), in ghc 8.0 this now gives an ERROR (with not even a warning in ghc 7.10)
is this a deliberate design change or an accident? I dont see it in the release notes!
heres a small program that illustrates the differences (builds fine with no mention of the INLINE pragma matter under -Wall for 7.10, errors during build in 8.0)
{-# LANGUAGE NoImplicitPrelude #-}
module Main where
import Prelude (putStrLn)
import qualified Data.Functor as Fun
import qualified Data.Foldable as F
import Prelude hiding (map,foldl,foldr,init,scanl,scanr,scanl1,scanr1,foldl1,foldr1)
newtype ListWrap a = ListWrap { unListWrap :: [a] } deriving (Eq, Show)
instance Foldable ListWrap where
{-# INLINE foldMap #-}
{-# INLINE foldr #-}
foldMap f (ListWrap ls)= (F.foldMap f ls )
main = putStrLn "hello"
this may be a *valid* design change, but i've not seen it documented anywhere, such as the release notes in the RC or in https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0 ... so i'm assuming its a regression pending dicussion ;)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | high |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |