From ea2f35b564d9db3b6b549be933397ae782832041 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Tue, 20 Mar 2012 09:40:06 +0000
Subject: [PATCH] Test Trac #4135

---
 testsuite/tests/th/T4135.hs     | 16 ++++++++++++++++
 testsuite/tests/th/T4135.stdout |  1 +
 testsuite/tests/th/all.T        |  1 +
 3 files changed, 18 insertions(+)
 create mode 100644 testsuite/tests/th/T4135.hs
 create mode 100644 testsuite/tests/th/T4135.stdout

diff --git a/testsuite/tests/th/T4135.hs b/testsuite/tests/th/T4135.hs
new file mode 100644
index 0000000000..03ff2fe1f9
--- /dev/null
+++ b/testsuite/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/testsuite/tests/th/T4135.stdout b/testsuite/tests/th/T4135.stdout
new file mode 100644
index 0000000000..0519ecba6e
--- /dev/null
+++ b/testsuite/tests/th/T4135.stdout
@@ -0,0 +1 @@
+ 
\ No newline at end of file
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index 6fb56a8fa7..e692d28cf9 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/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'])
 
-- 
GitLab