diff options
| author | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2014-10-02 08:38:05 +0100 |
|---|---|---|
| committer | Jose Pedro Magalhaes <dreixel@gmail.com> | 2014-11-23 18:49:05 +0100 |
| commit | 950b5f9dc6efbb508fbf74f8ec81431f02395820 (patch) | |
| tree | 509014a227ca4c81de8f953dcd4b44e2de722f83 /testsuite/tests/generics/GShow | |
| parent | 96d29b5403bd8a6465a65a39da861f5b9610fc89 (diff) | |
| download | haskell-wip/GenericsMetaData2.tar.gz | |
Use TypeLits in the meta-data encoding of GHC.Genericswip/GenericsMetaData2
The following wiki page contains more information about this:
https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving#Amoreconservativefirstapproachtothisproblem
Diffstat (limited to 'testsuite/tests/generics/GShow')
| -rw-r--r-- | testsuite/tests/generics/GShow/GShow.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/generics/GShow/GShow.hs b/testsuite/tests/generics/GShow/GShow.hs index 3c8f2591ef..4b293fa211 100644 --- a/testsuite/tests/generics/GShow/GShow.hs +++ b/testsuite/tests/generics/GShow/GShow.hs @@ -3,8 +3,8 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeOperators #-} -{-# LANGUAGE IncoherentInstances #-} -- :-/ {-# LANGUAGE DefaultSignatures #-} +{-# LANGUAGE PolyKinds #-} module GShow ( -- * Generic show class @@ -120,5 +120,5 @@ instance (GShow a) => GShow [a] where (intersperse (showChar ',') (map (gshowsPrec 0) l)) . showChar ']' -instance (GShow a) => GShow (Maybe a) +instance (GShow a) => GShow (Maybe a) instance (GShow a, GShow b) => GShow (a,b) |