testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc106.hs
1 {-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}
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