testsuite/tests/th/TH_TyInstWhere2.hs


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

{-# LANGUAGE PolyKinds, DataKinds, TemplateHaskell, TypeFamilies #-}

module TH_TyInstWhere2 where

import Language.Haskell.TH

$( do { decs <- [d| type family F (a :: k) (b :: k) :: Bool where
                      F a a = True
                      F a b = False |]
      ; reportWarning (pprint decs)
      ; return [] })