testsuite/tests/ghc-regress/th/TH_tf3.hs


1
2
3
4
5
6
7
8
9
10
11

{-# 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 |] )