diff options
Diffstat (limited to 'testsuite/tests/th/TH_TyInstWhere3.hs')
| -rw-r--r-- | testsuite/tests/th/TH_TyInstWhere3.hs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/th/TH_TyInstWhere3.hs b/testsuite/tests/th/TH_TyInstWhere3.hs deleted file mode 100644 index 54d76f5226..0000000000 --- a/testsuite/tests/th/TH_TyInstWhere3.hs +++ /dev/null @@ -1,18 +0,0 @@ -{-# LANGUAGE PolyKinds, DataKinds, TemplateHaskell, TypeFamilies #-} - -module TH_TyInstWhere3 where - -import Language.Haskell.TH - -type family F a - -$( do { decs <- [d| type instance where - F Int = Int |] - ; reportWarning (pprint decs) - ; return decs }) - -type instance F a = a - --- When this test was written, TH considered all singleton type family instance --- as unbranched. Thus, even though the two instances above would not play nicely --- without TH, they should be fine with TH. |