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 [] })
+