blob: 0ee0a04069b54ec5ecf820089fa80f21ee4c680b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TemplateHaskell #-}
module T11797 where
import Language.Haskell.TH
import System.IO
$(do dec <- [d| class Foo a where
meth :: a -> b -> a |]
runIO $ do putStrLn $ pprint dec
hFlush stdout
return [] )
-- the key bit is the forall b. in the type of the method
|
