[Xmonad] Tabbed layout, xinerama, strange crashing
droundy at darcs.net
Mon Jun 11 12:05:49 EDT 2007
On Mon, Jun 11, 2007 at 04:37:31PM +0100, Neil Mitchell wrote:
> >> In general, stability seems to be the weakest point of xmonad at the
> >> moment--contrary to the advertizing.
> >I disagree with this statement. In general, xmonad's core has been very
> >stable. All the crashes I've seen lately are due to buggy contrib
> Perhaps you need to start "quality-controlling" the contrib module -
> ideally in an automated way. Are the contrib's pure, or do they
> involve the X layer? Could you quickcheck/catch them?
They involve the X layer (mostly). That's where the bugs most often come
in, anyhow. Which relates to why they're hard to keep from being buggy:
IO operations inherently are prone to throw exceptions.
Any chance catch can verify that an IO operation cannot fail? e.g. *I* know
that (getCurrentDirectory `catch` \_ -> return "foo") cannot fail, but does
Catch know that? Could it be taught?
More information about the Xmonad