summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_compile/T13250.bkp
blob: fb8098df444b414613ebe90c5d9531d0c6cddbc8 (plain)
1
2
3
4
5
6
7
8
unit p where
    signature A where
        newtype F a = F { mkF :: a }
unit q where
    module A where
        newtype F a = F { mkF :: a }
unit r where
    dependency p[A=q:A]