Commit fe71a7e6 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #9064 in th/T9064

parent 4ac9e902
{-# LANGUAGE TemplateHaskell, DefaultSignatures #-}
module T9064 where
import Language.Haskell.TH
import System.IO
$( [d| class C a where
foo :: a -> String
default foo :: Show a => a -> String
foo = show |] )
data Bar = Bar deriving Show
instance C Bar
x :: Bar -> String
x = foo
$( do info <- reify ''C
runIO $ do
putStrLn $ pprint info
hFlush stdout
return [] )
class T9064.C (a_0 :: *)
where T9064.foo :: forall (a_0 :: *) . T9064.C a_0 =>
a_0 -> GHC.Base.String
default T9064.foo :: forall (a_0 :: *) . (T9064.C a_0,
GHC.Show.Show a_0) =>
a_0 -> GHC.Base.String
instance T9064.C T9064.Bar
......@@ -338,3 +338,4 @@ test('T9738', normal, compile, ['-v0'])
test('T9081', normal, compile, ['-v0'])
test('T9066', normal, compile, ['-v0'])
test('T8100', normal, compile, ['-v0'])
test('T9064', expect_broken(9064), compile, ['-v0'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment