From 00e1038d71b31469c4a346ccaa42280bffc6911f Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Tue, 12 Jun 2007 14:32:48 +0000 Subject: [PATCH] Make 'view' a total function --- StackSet.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/StackSet.hs b/StackSet.hs index a226573..99684ad 100644 --- a/StackSet.hs +++ b/StackSet.hs @@ -214,7 +214,7 @@ view i s = s { current = Screen x (screen (current s)) , hidden = workspace (current s) : L.delete x (hidden s) } - | otherwise = abort "Inconsistent StackSet: workspace not found" + | otherwise = s -- 'Catch'ing this might be hard. Relies on monotonically increasing -- workspace tags defined in 'new'