blob: 4bc2d45686dabaf4cd6fb5ea009dac2c3974d58f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE TemplateHaskell #-}
module T15738 where
import Language.Haskell.TH
import System.IO
data Foo x = MkFoo x
$(do d <- [d| f :: (forall a. Eq (Foo a)) => Foo x -> Foo x -> Bool
f = (==) |]
runIO $ hPutStrLn stderr $ pprint d
pure d)
|
