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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/573a548e8c5ddd2d8268e3dc62521dd788440055

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

commit 573a548e8c5ddd2d8268e3dc62521dd788440055
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Mar 16 16:23:02 2012 +0000

    Test Trac #5886

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

 tests/th/T5886.hs  |    8 ++++++++
 tests/th/T5886a.hs |   14 ++++++++++++++
 tests/th/all.T     |    2 ++
 3 files changed, 24 insertions(+), 0 deletions(-)

diff --git a/tests/th/T5886.hs b/tests/th/T5886.hs
new file mode 100644
index 0000000..5465815
--- /dev/null
+++ b/tests/th/T5886.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T5886 where
+
+import T5886a
+
+$(bang)
diff --git a/tests/th/T5886a.hs b/tests/th/T5886a.hs
new file mode 100644
index 0000000..4c6f433
--- /dev/null
+++ b/tests/th/T5886a.hs
@@ -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)]]
diff --git a/tests/th/all.T b/tests/th/all.T
index 9fa50dd..6fb56a8 100644
--- a/tests/th/all.T
+++ b/tests/th/all.T
@@ -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'])
 



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to