diff options
author | Austin Seipp <aseipp@pobox.com> | 2013-08-11 00:12:11 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2013-08-11 00:12:11 -0500 |
commit | 0a5e9646f0efa4bd28283004aa0b99481f309a79 (patch) | |
tree | b1035152f26b914a803fc4738bb8744e2953d58f /testsuite/tests/th/ClosedFam1TH.hs | |
parent | 9b5f1c1a03748358b32e4d28edb811d5905c26dd (diff) | |
download | haskell-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.hs | 13 |
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 [] }) + |