Test Trac #5886
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Mar 2012 16:23:02 +0000 (16:23 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Mar 2012 16:23:02 +0000 (16:23 +0000)
testsuite/tests/th/T5886.hs [new file with mode: 0644]
testsuite/tests/th/T5886a.hs [new file with mode: 0644]
testsuite/tests/th/all.T

diff --git a/testsuite/tests/th/T5886.hs b/testsuite/tests/th/T5886.hs
new file mode 100644 (file)
index 0000000..5465815
--- /dev/null
@@ -0,0 +1,8 @@
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T5886 where
+
+import T5886a
+
+$(bang)
diff --git a/testsuite/tests/th/T5886a.hs b/testsuite/tests/th/T5886a.hs
new file mode 100644 (file)
index 0000000..4c6f433
--- /dev/null
@@ -0,0 +1,14 @@
+{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T5886a where
+
+import Language.Haskell.TH
+
+class C α where
+  type AT α ∷ ★
+
+bang ∷ DecsQ
+bang = return [InstanceD [] (AppT (ConT ''C) (ConT ''Int))
+                [TySynInstD ''AT [ConT ''Int] (ConT ''Int)]]
index 9fa50dd..6fb56a8 100644 (file)
@@ -223,4 +223,6 @@ test('T5721', normal, compile, ['-v0'])
 test('T1541', normal, compile, ['-v0'])
 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'])