testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}

-- Trac #1795

module ShouldCompile where

data A a = A

class MkA a b | a -> b where
   mkA :: a -> A b

instance MkA a a where

translate :: (String, a) -> A a
translate a = mkA a