summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T10891.hs
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2015-09-23 18:12:14 -0500
committerAustin Seipp <austin@well-typed.com>2015-09-23 18:12:55 -0500
commit39a262e53bab3b7cf827fa9f22226da5fca055be (patch)
tree8d914400c56aaed9d664877968890429f7413ba3 /testsuite/tests/th/T10891.hs
parent5c115236fe795aa01f0c10106f1b1c959486a739 (diff)
downloadhaskell-39a262e53bab3b7cf827fa9f22226da5fca055be.tar.gz
Revert "reify associated types when reifying typeclasses"
This caused the build to fail, due to some type checking errors. Whoops. This reverts commit 5c115236fe795aa01f0c10106f1b1c959486a739.
Diffstat (limited to 'testsuite/tests/th/T10891.hs')
-rw-r--r--testsuite/tests/th/T10891.hs39
1 files changed, 0 insertions, 39 deletions
diff --git a/testsuite/tests/th/T10891.hs b/testsuite/tests/th/T10891.hs
deleted file mode 100644
index d91caf94f6..0000000000
--- a/testsuite/tests/th/T10891.hs
+++ /dev/null
@@ -1,39 +0,0 @@
-{-# LANGUAGE TypeFamilies #-}
-
-module T10891 where
-
-import Language.Haskell.TH
-import System.IO
-
-class C a where
- f :: a -> Int
-
-class C' a where
- type F a :: *
- type F a = a
- f' :: a -> Int
-
-class C'' a where
- data Fd a :: *
-
-instance C' Int where
- type F Int = Bool
- f' = id
-
-instance C'' Int where
- data Fd Int = B Bool | C Char
-
-$(return [])
-
-test :: ()
-test =
- $(let
- display :: Name -> Q ()
- display q = do
- i <- reify q
- runIO (hPutStrLn stderr (pprint i) >> hFlush stderr)
- in do
- display ''C
- display ''C'
- display ''C''
- [| () |])