[commit: testsuite] master: Test Trac #4135 (ccd14ae)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/ccd14ae24656440e4746a888d070b8922871408a

>---------------------------------------------------------------

commit ccd14ae24656440e4746a888d070b8922871408a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Mar 20 09:40:06 2012 +0000

    Test Trac #4135

>---------------------------------------------------------------

 tests/th/T4135.hs                                  |   16 ++++++++++++++++
 .../should_run/T5472.stdout => th/T4135.stdout}    |    0 
 tests/th/all.T                                     |    1 +
 3 files changed, 17 insertions(+), 0 deletions(-)

diff --git a/tests/th/T4135.hs b/tests/th/T4135.hs
new file mode 100644
index 0000000..03ff2fe
--- /dev/null
+++ b/tests/th/T4135.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE TypeFamilies,TemplateHaskell #-}
+module Bug where
+
+import Language.Haskell.TH
+import System.IO
+
+class C a where
+    type T a
+
+$(do { ds <- [d|  
+           	 instance C (Maybe a) where
+           	    type T (Maybe a) = Char
+             |]
+     ; runIO $ do { putStrLn (pprint ds); hFlush stdout }
+     ; return ds })
+
diff --git a/tests/deSugar/should_run/T5472.stdout b/tests/th/T4135.stdout
similarity index 100%
copy from tests/deSugar/should_run/T5472.stdout
copy to tests/th/T4135.stdout
diff --git a/tests/th/all.T b/tests/th/all.T
index 6fb56a8..e692d28 100644
--- a/tests/th/all.T
+++ b/tests/th/all.T
@@ -225,4 +225,5 @@ test('T5883', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
 test('T5882', normal, compile, ['-v0'])
 test('T5886', extra_clean(['T5886a.hi','T5886a.o']), 
               multimod_compile, ['T5886','-v0'])
+test('T4135', normal, compile, ['-v0'])