1 {-# OPTIONS -fglasgow-exts #-}
3 -- !!! Mutually recursive kind inference
4 -- Exposes a bug in 4.08 (fixed in 4.08 pl1)
6 module ShouldCompile where
8 -- This pair will tickle the bug
9 class Lookup c k a where
10 lookupAll :: Sequence seq a => c -> k -> seq a
12 class Lookup (s a) Int a => Sequence s a where
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