summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T12045TH1.stderr
blob: 2b856434d5ebe94ff9376b8de6913101c0d9a701 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
T12045TH1.hs:(8,2)-(10,53): Splicing declarations
    [d| type family F (a :: k) :: Type where
          F @Type Int = Bool
          F @(Type -> Type) Maybe = Char |]
  ======>
    type family F (a :: k) :: Type where
      F @Type Int = Bool
      F @(Type -> Type) Maybe = Char
T12045TH1.hs:13:2-32: Splicing declarations
    [d| data family D (a :: k) |] ======> data family D (a :: k)
T12045TH1.hs:15:2-41: Splicing declarations
    [d| data instance D @Type a = DBool |]
  ======>
    data instance D @Type a = DBool
T12045TH1.hs:17:2-51: Splicing declarations
    [d| data instance D @(Type -> Type) b = DChar |]
  ======>
    data instance D @(Type -> Type) b = DChar