aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeil Mitchell <gentoo-haskell@vcs.intern>2007-05-24 01:29:41 +0200
committerNeil Mitchell <gentoo-haskell@vcs.intern>2007-05-24 01:29:41 +0200
commit2d841b3222bbee5ab5a7c7a7115b70f6711242ee (patch)
tree80fd4f3c05bb9fe81579221fe01949a3a8652025
parent5ee40f887fc94b327c8fad77248114c4b253ff6d (diff)
downloadxmonad-2d841b3222bbee5ab5a7c7a7115b70f6711242ee.tar.gz
xmonad-2d841b3222bbee5ab5a7c7a7115b70f6711242ee.tar.xz
xmonad-2d841b3222bbee5ab5a7c7a7115b70f6711242ee.zip
Delete the Catch wrapper, no longer required by the latest version of Catch
darcs-hash:20070523232941-73ab9-92de9abc52676c6d28146445d1439cf0e375da59.gz
-rw-r--r--tests/Catch.hs72
1 files changed, 0 insertions, 72 deletions
diff --git a/tests/Catch.hs b/tests/Catch.hs
deleted file mode 100644
index ce05212..0000000
--- a/tests/Catch.hs
+++ /dev/null
@@ -1,72 +0,0 @@
-
--- This is a test set for running with Catch
--- http://www-users.cs.york.ac.uk/~ndm/catch/
-
-module Catch where
-
-import StackSet
-
----------------------------------------------------------------------
--- TESTING PROPERTIES
-
-main =
- new
- ||| view
- ||| lookupWorkspace
- ||| modify
- ||| peek
- ||| index
- ||| focusLeft
- ||| focusRight
- ||| focusWindow
- ||| member
- ||| findIndex
- ||| insertLeft
- ||| delete
- ||| swap
- ||| shift
-
-
----------------------------------------------------------------------
--- CATCH FIRST-ORDER LIBRARY
-
--- this should be included with Catch by default
--- and will be (one day!)
-
-foreign import primitive any0 :: a
-foreign import primitive anyEval1 :: a -> b
-foreign import primitive anyEval2 :: a -> b -> c
-foreign import primitive anyEval3 :: a -> b -> c -> d
-
-
-class Test a where
- test :: a -> Bool
-
-
-instance Test b => Test (a -> b) where
- test f = test (f any0)
-
-instance Test (Maybe a) where
- test f = anyEval1 f
-
-instance Test [a] where
- test f = anyEval1 f
-
-instance Test (StackSet a b c) where
- test f = anyEval1 f
-
-instance Test (a,b) where
- test f = anyEval1 f
-
-instance Test Bool where
- test f = anyEval1 f
-
-instance Test Char where
- test f = anyEval1 f
-
-instance Test (IO a) where
- test f = anyEval1 (f >> return ())
-
-
-(|||) :: (Test a, Test b) => a -> b -> IO c
-(|||) l r = anyEval2 (test l) (test r)