testsuite/tests/th/TH_TyInstWhere1.stderr


1
2
3
4
5
6
7
8

TH_TyInstWhere1.hs:(5,2)-(7,25): Splicing declarations
    [d| type family F (a :: k) (b :: k) :: Bool where
          F a a = True
          F a b = False |]
  ======>
    type family F (a :: k) (b :: k) :: Bool where
      F a a = 'True
      F a b = 'False