The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp36.bkp
1 {-# LANGUAGE TypeFamilies #-}
2 unit f where
3     module F where
4         type family F a
5 unit p where
6     dependency f
7     signature A where
8         data T
9     module P where
10         import F
11         import A
12         type instance F T = Bool
13 unit q where
14     dependency p[A=<B>]
15     dependency f
16     module Q where
17         import F
18         import B
19         import P
20         x :: F T
21         x = True
22