testsuite/tests/th/TH_tf3.hs


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

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# 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 |] )