summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9739.hs
blob: 18df797100bbb82de067f72cf2b6c16d3464bd5f (plain)
1
2
3
4
5
6
7
8
9
{-# LANGUAGE MultiParamTypeClasses #-}
module T9739 where

class Class3 a => Class1 a where

class Class2 t a where
  class2 :: (Class3 t) => a -> m

class (Class1 t, Class2 t t) => Class3 t where