c5d017a6443568175148fe7777ad7e8c776e960b
[ghc.git] / testsuite / tests / indexed-types / should_compile / InstEqContext2.hs
1 {-# LANGUAGE TypeFamilies, EmptyDataDecls #-}
2
3 module InstEqContext2 where
4
5 data E v a = E a
6 data RValue
7
8 instance (Eq a, v ~ RValue) => Eq (E v a) where
9 E x == E y = x == y
10
11 a :: E v Int
12 a = undefined
13
14 foo = a == a
15