Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5236.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts #-}
2
3 module Main where
4
5 data A
6 data B
7
8 class Id a b | a -> b, b -> a
9
10 instance Id A A
11 instance Id B B
12
13 loop :: Id A B => Bool
14 loop = True
15
16 f :: Bool
17 f = loop
18
19
20 main :: IO ()
21 main = return ()