ghc/tests/typecheck/should_compile/tc106.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Mutually recursive kind inference
   4 -- Exposes a bug in 4.08 (fixed in 4.08 pl1)
   5
   6 module ShouldCompile where
   7
   8 -- This pair will tickle the bug
   9 class Lookup c k a where
  10     lookupAll :: Sequence seq a => c -> k -> seq a
  11
  12 class Lookup (s a) Int a => Sequence s a where
  13     foo :: s a
  14
  15
  16 -- This decl will tickle it all by itself
  17 class Matrix a e where
  18    amap2  :: (Matrix a d) =>
  19              (e -> d -> e) -> a ix e -> a ix d -> a ix e
  20