@@ -1,4 +1,3 @@
1−{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}
2{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
3{-# LANGUAGE DataKinds #-}
2{-# LANGUAGE DataKinds #-}
4{-# LANGUAGE DefaultSignatures #-}
3{-# LANGUAGE DefaultSignatures #-}
@@ -257,9 +256,9 @@ type family NotSupported (cls :: k1) (a :: k2) (reason :: Symbol) :: Constraint
257#if __GLASGOW_HASKELL__ < 800
256#if __GLASGOW_HASKELL__ < 800
259 NotSupported cls a reason = TypeError
258 NotSupported cls a reason = TypeError
260− ( 'Text "Cannot derive a Generic-based " :<>: 'ShowType cls :<>: 'Text " instance for " :<>: 'ShowType a :<>: 'Text "." :$$:
259+ ( 'Text "Cannot derive a Generic-based " ':<>: 'ShowType cls ':<>: 'Text " instance for " ':<>: 'ShowType a ':<>: 'Text "." ':$$:
261− 'ShowType a :<>: 'Text " " :<>: 'Text reason :<>: 'Text "," :$$:
260+ 'ShowType a ':<>: 'Text " " ':<>: 'Text reason ':<>: 'Text "," ':$$:
262− 'Text "but Generic-based " :<>: 'ShowType cls :<>: 'Text " instances can be derived only for records" :$$:
261+ 'Text "but Generic-based " ':<>: 'ShowType cls ':<>: 'Text " instances can be derived only for records" ':$$:
263 'Text "(i.e. product types with named fields)." )
262 'Text "(i.e. product types with named fields)." )