summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/TH_tf3.hs
blob: aaa59f52b17e6b32a9d3073bde9aed7c5d8ad597 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies, FlexibleInstances, UndecidableInstances #-}

module TH_tf3 where

type family T a

$( [d| foo :: T [a] ~ Bool => a -> a
       foo x = x |] )

$( [d| class C a
       instance a ~ Int => C a |] )