Remove CatPairs test.

It's causing a failure. It should probably go in the tests for base
anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

2 files changed, 0 insertions, 31 deletions

diff --git a/testsuite/tests/polykinds/CatPairs.hs b/testsuite/tests/polykinds/CatPairs.hs
deleted file mode 100644
index 8ab709e754..0000000000
--- a/testsuite/tests/polykinds/CatPairs.hs
+++ /dev/null
@@ -1,30 +0,0 @@
-{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
-module CatPairs where
-import Control.Monad
-import Control.Category
-
--- Take from Twan van Laarhoven
---   http://twanvl.nl/blog/haskell/categories-over-pairs-of-types
-
-data Pipe i o u m r = Pipe { runPipe :: Either i u -> m (Either o r) }
-
-(>+>) :: Monad m
-      => Pipe io1 io2 ur1 m ur2
-      -> Pipe io2 io3 ur2 m ur3
-      -> Pipe io1 io3 ur1 m ur3
-(>+>) (Pipe f) (Pipe g) = Pipe (f >=> g)
-
-idP :: Monad m => Pipe i i r m r
-idP = Pipe return
-
-type family Fst (xy :: (*,*)) :: *
-type family Snd (xy :: (*,*)) :: *
-type instance Fst '(x,y) = x
-type instance Snd '(x,y) = y
-
-newtype WrapPipe m iu or = WrapPipe
-     { unWrapPipe :: Pipe (Fst iu) (Fst or) (Snd iu) m (Snd or) }
-
-instance Monad m => Category (WrapPipe m) where
-  id    = WrapPipe idP
-  x . y = WrapPipe (unWrapPipe y >+> unWrapPipe x)
diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T
index 718819f372..00007b1495 100644
--- a/testsuite/tests/polykinds/all.T
+++ b/testsuite/tests/polykinds/all.T
@@ -17,7 +17,6 @@ test('PolyKinds07', normal, compile_fail, [''])
 
 test('PolyKinds12', normal, compile, [''])
 
-test('CatPairs', normal, compile, [''])
 test('Freeman', normal, compile_and_run, [''])
 test('MonoidsTF', normal, compile_and_run, [''])
 test('MonoidsFD', normal, compile_and_run, [''])