testsuite/tests/th/T8807.hs


1
2
3
4
5
6
7
8
9

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ConstraintKinds, RankNTypes #-}

module T8807 where

import Data.Proxy

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