summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/T8807.hs
blob: b59e344da420c30ff07da6c1839d4162a8ecfbde (plain)
1
2
3
4
5
6
7
8
9
10
11
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ConstraintKinds, RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}

module T8807 where

import Data.Proxy

foo :: $( [t| forall a b. a b => Proxy a -> b -> b |] )
foo = undefined