3f307f89416e6ccea39ff52b312449e11379e4df
[ghc.git] / testsuite / tests / indexed-types / should_compile / InstEqContext3.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module InstEqContext where
4
5
6 {- encoding of
7 - class C a | -> a
8 - with extra indirection
9 -}
10 class a ~ Int => D a
11 instance D Int
12
13 class D a => C a
14 instance C Int
15
16 unC :: (C a) => a -> Int
17 unC i = undefined
18
19 test :: Int
20 test = unC undefined