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

Test #9692 in th/T9692

parent 07a99c16
{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds #-}
module T9692 where
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import Language.Haskell.TH.Ppr
class C a where
data F a (b :: k) :: *
instance C Int where
data F Int x = FInt x
$( do info <- qReify (mkName "F")
runIO $ putStrLn $ pprint info
return [])
data family T9692.F (a_0 :: k_1) (b_2 :: k_3) :: *
data instance T9692.F GHC.Types.Int x_4 = T9692.FInt x_4
...@@ -330,4 +330,4 @@ test('T8932', normal, compile_fail, ['-v0']) ...@@ -330,4 +330,4 @@ test('T8932', normal, compile_fail, ['-v0'])
test('T8987', normal, compile_fail, ['-v0']) test('T8987', normal, compile_fail, ['-v0'])
test('T7241', normal, compile_fail, ['-v0']) test('T7241', normal, compile_fail, ['-v0'])
test('T9199', normal, compile, ['-v0']) test('T9199', normal, compile, ['-v0'])
test('T9692', normal, 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