testsuite/tests/th/TH_TyInstWhere1.stderr


1
2
3
4
5
6
7
8

TH_TyInstWhere1.hs:(5,3)-(7,24): 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