GHC 8.0.2 regression involving OVERLAP annotations
quickcheck-combinators-0.0.1
fails to build with GHC 8.0.2-rc1 (but does build with GHC 8.0.1) due to this issue. Here is a simplified example:
{-# LANGUAGE FlexibleInstances #-}
module Bug where
class Arbitrary a where
shrink :: a -> [a]
shrink _ = []
instance Arbitrary a
instance Arbitrary Int
Is this expected? If so, we should make a note of this in the 8.0.2 release notes.