diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-10-20 15:11:59 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-10-21 09:20:44 -0400 |
| commit | f681c3274c4481ab549508fa346892023bf9d9bb (patch) | |
| tree | d9b1d870e8d4e1f0343028e42859fca28b907713 | |
| parent | 07a99c163af2ea5346e94e416d00d50f09f4b7f7 (diff) | |
| download | haskell-f681c3274c4481ab549508fa346892023bf9d9bb.tar.gz | |
Test #9692 in th/T9692
| -rw-r--r-- | testsuite/tests/th/T9692.hs | 17 | ||||
| -rw-r--r-- | testsuite/tests/th/T9692.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/all.T | 2 |
3 files changed, 20 insertions, 1 deletions
diff --git a/testsuite/tests/th/T9692.hs b/testsuite/tests/th/T9692.hs new file mode 100644 index 0000000000..82e5951b61 --- /dev/null +++ b/testsuite/tests/th/T9692.hs @@ -0,0 +1,17 @@ +{-# 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 []) diff --git a/testsuite/tests/th/T9692.stderr b/testsuite/tests/th/T9692.stderr new file mode 100644 index 0000000000..e62c8c552f --- /dev/null +++ b/testsuite/tests/th/T9692.stderr @@ -0,0 +1,2 @@ +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 diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 7c030d09cf..2981202300 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -330,4 +330,4 @@ test('T8932', normal, compile_fail, ['-v0']) test('T8987', normal, compile_fail, ['-v0']) test('T7241', normal, compile_fail, ['-v0']) test('T9199', normal, compile, ['-v0']) - +test('T9692', normal, compile, ['-v0']) |