testsuite/tests/backpack/should_compile/bkp36.bkp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{-# LANGUAGE TypeFamilies #-}
unit f where
    module F where
        type family F a
unit p where
    dependency f
    signature A where
        data T
    module P where
        import F
        import A
        type instance F T = Bool
unit q where
    dependency p[A=<B>]
    dependency f
    module Q where
        import F
        import B
        import P
        x :: F T
        x = True