From 0a959ad3791768e8de4be98b3f3e0f2e07ea2d25 Mon Sep 17 00:00:00 2001 From: Neil Mitchell Date: Thu, 24 May 2007 01:32:12 +0200 Subject: Add an abort function, called for deliberate and intentional errors darcs-hash:20070523233212-73ab9-81ab782d6360e1d85152c647f9c7cd19a065963a --- StackSet.hs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/StackSet.hs b/StackSet.hs index b00c67e..68d56e8 100644 --- a/StackSet.hs +++ b/StackSet.hs @@ -146,6 +146,10 @@ data Stack a = Empty , right :: [a] } -- jokers to the right deriving (Show, Read, Eq) + +-- this function indicates to catch that an error is expected +abort x = error x + -- --------------------------------------------------------------------- -- Construction @@ -157,7 +161,7 @@ data Stack a = Empty -- new :: (Integral i, Integral s) => i -> s -> StackSet i a s new n m | n > 0 && m > 0 = StackSet n cur visi unseen - | otherwise = error "non-positive arguments to StackSet.new" + | otherwise = abort "non-positive arguments to StackSet.new" where (seen,unseen) = L.genericSplitAt m $ Workspace 0 Empty : [ Workspace i Empty | i <- [1 ..n-1]] (cur:visi) = [ Screen i s | (i,s) <- zip seen [0..] ] @@ -187,7 +191,7 @@ view i s = s { current = Screen x (screen (current s)) , hidden = workspace (current s) : L.delete x (hidden s) } - | otherwise = error "Inconsistent StackSet: workspace not found" + | otherwise = abort "Inconsistent StackSet: workspace not found" -- 'Catch'ing this might be hard. Relies on monotonically increasing -- workspace tags defined in 'new' -- cgit v1.2.3