Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / Simple8.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module Simple8 where
4
5 type family F a
6
7 -- Manuel says that duplicate instances are ok. This gives a strange error but
8 -- works if one of the duplicates is removed.
9
10 type instance F () = ()
11 -- type instance F () = ()
12
13 foo :: F () -> ()
14 foo x = x
15