From 772005a32b40b5440b4e389a9521771c3075ad95 Mon Sep 17 00:00:00 2001 From: Neil Mitchell Date: Thu, 24 May 2007 01:29:41 +0200 Subject: Delete the Catch wrapper, no longer required by the latest version of Catch darcs-hash:20070523232941-73ab9-92de9abc52676c6d28146445d1439cf0e375da59 --- tests/Catch.hs | 72 ---------------------------------------------------------- 1 file changed, 72 deletions(-) delete mode 100644 tests/Catch.hs (limited to 'tests') 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) -- cgit v1.2.3