Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / ContextStack1.hs
1 {-# LANGUAGE UndecidableInstances, FlexibleInstances #-}
2
3 module ContextStack1 where
4
5 class Cls a where meth :: a
6
7 instance Cls [a] => Cls a
8
9 t :: ()
10 t = meth
11