tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7437.hs
1 {-# LANGUAGE DefaultSignatures, FlexibleContexts, DeriveGeneric #-}
2 {-# LANGUAGE FlexibleInstances #-}
3
4 module T7437 where
5
6 import GHC.Generics
7
8 class GPut f where
9 gput :: f a -> [()]
10
11 class Put a where
12 put :: a -> [()]
13
14 default put :: (Generic t, GPut (Rep t)) => t -> [()]
15 put = gput . from