summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T15738.stderr
blob: 580a02a62ed1eb4586153ec4ce628c35214ccbba (plain)
1
2
3
4
5
6
7
8
9
10
11
f_0 :: (forall a_1 . GHC.Classes.Eq (T15738.Foo a_1)) =>
       T15738.Foo x_2 -> T15738.Foo x_2 -> GHC.Types.Bool
f_0 = (GHC.Classes.==)
T15738.hs:(10,2)-(13,12): Splicing declarations
    do d <- [d| f :: (forall a. Eq (Foo a)) => Foo x -> Foo x -> Bool
                f = (==) |]
       runIO $ hPutStrLn stderr $ pprint d
       pure d
  ======>
    f :: (forall a. Eq (Foo a)) => Foo x -> Foo x -> Bool
    f = (==)