summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/ClosedFam1TH.hs
diff options
context:
space:
mode:
authorAustin Seipp <aseipp@pobox.com>2013-08-11 00:12:11 -0500
committerAustin Seipp <aseipp@pobox.com>2013-08-11 00:12:11 -0500
commit0a5e9646f0efa4bd28283004aa0b99481f309a79 (patch)
treeb1035152f26b914a803fc4738bb8744e2953d58f /testsuite/tests/th/ClosedFam1TH.hs
parent9b5f1c1a03748358b32e4d28edb811d5905c26dd (diff)
downloadhaskell-0a5e9646f0efa4bd28283004aa0b99481f309a79.tar.gz
Fix naming of ClosedFam1/ClosedFam2 tests.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'testsuite/tests/th/ClosedFam1TH.hs')
-rw-r--r--testsuite/tests/th/ClosedFam1TH.hs13
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/th/ClosedFam1TH.hs b/testsuite/tests/th/ClosedFam1TH.hs
new file mode 100644
index 0000000000..262e9a1e48
--- /dev/null
+++ b/testsuite/tests/th/ClosedFam1TH.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds, DataKinds #-}
+
+module ClosedFam1 where
+
+import Language.Haskell.TH
+
+$(do { decl <- [d| type family Foo a (b :: k) where
+ Foo Int Bool = Int
+ Foo a Maybe = Bool
+ Foo b (x :: Bool) = Char |]
+ ; reportWarning (pprint decl)
+ ; return [] })
+