From 9a38fd185765580e6cc0fd528abdd04dd262dd1e Mon Sep 17 00:00:00 2001 From: Neil Mitchell Date: Tue, 22 May 2007 03:54:22 +0200 Subject: Update the Catch checking to the new interface for StackSet darcs-hash:20070522015422-73ab9-c62473d90f0df78e23a96acec0245e9bb9c275b6 --- tests/Catch.hs | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/tests/Catch.hs b/tests/Catch.hs index 7538ff0..ce05212 100644 --- a/tests/Catch.hs +++ b/tests/Catch.hs @@ -10,9 +10,21 @@ import StackSet -- TESTING PROPERTIES main = - screen ||| peekStack ||| index ||| empty ||| peek ||| push ||| delete ||| member ||| - raiseFocus ||| rotate ||| promote ||| shift ||| view ||| workspace ||| insert ||| - visibleWorkspaces ||| swap {- helper -} + new + ||| view + ||| lookupWorkspace + ||| modify + ||| peek + ||| index + ||| focusLeft + ||| focusRight + ||| focusWindow + ||| member + ||| findIndex + ||| insertLeft + ||| delete + ||| swap + ||| shift --------------------------------------------------------------------- -- cgit v1.2.3