diff options
author | Austin Seipp <austin@well-typed.com> | 2015-09-23 18:12:14 -0500 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2015-09-23 18:12:55 -0500 |
commit | 39a262e53bab3b7cf827fa9f22226da5fca055be (patch) | |
tree | 8d914400c56aaed9d664877968890429f7413ba3 /testsuite/tests/th/T10891.hs | |
parent | 5c115236fe795aa01f0c10106f1b1c959486a739 (diff) | |
download | haskell-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.hs | 39 |
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'' - [| () |]) |