blob: 63f47516d715fbda8e9f72927bc47fa29a2279a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE FlexibleContexts #-}
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)
|
