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