testsuite/tests/th/T15243.stderr


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

T15243.hs:(10,3)-(15,6): Splicing declarations
    [d| type family F (a :: k) :: k where
          F  'Unit =  'Unit
          F  '(,) =  '(,)
          F '[] = '[]
          F  '(:) =  '(:) |]
  ======>
    type family F (a :: k) :: k where
      F  'Unit =  'Unit
      F  '(,) =  '(,)
      F '[] = '[]
      F  '(:) =  '(:)