testsuite/tests/indexed-types/should_compile/Simple8.hs


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

{-# LANGUAGE TypeFamilies #-}

module Simple8 where

type family F a

-- Manuel says that duplicate instances are ok. This gives a strange error but
-- works if one of the duplicates is removed.

type instance F () = ()
type instance F () = ()

foo :: F () -> ()
foo x = x