Make 'view' a total function

This commit is contained in:
Spencer Janssen
2007-06-12 14:32:48 +00:00
parent 7158a58792
commit 00e1038d71

View File

@@ -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'