Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_compile / FD3.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
2
3 -- Trac #1795
4
5 module ShouldCompile where
6
7 data A a = A
8
9 class MkA a b | a -> b where
10 mkA :: a -> A b
11
12 instance MkA a a where
13
14 translate :: (String, a) -> A a
15 translate a = mkA a