May 2007 - xmonad - Haskell.org

Wanted: extended static checking for xmonad
by dons＠cse.unsw.edu.au 21 May '07

21 May '07

When working on xmonad, we're trying to produce very clean, correct code -- a window manager that just works. To do this, we're looking to employ more static checking tools to the code base. Currently we use: * QuickCheck (checks high level window manager behaviour) * Catch (Neil's pattern match verifier, caught a couple of bugs) * ghc -Wall One other tool we're considering: * HPC. check program coverage of the test suite. But I suspect that there's an awful lot of other small checkers of various kinds out there. So: * Do you know of some other cool code checking tool for Haskell? * That could be used on xmonad (xmonad.org) to reduce code smell? If so, let us know! :-) -- Don P.S. Perhaps it is time for a wiki page documenting the available extended static checking tools for Haskell.

1 0

Patch: Catch test framework updates
by Neil Mitchell 21 May '07

21 May '07

Hi, This patch fixes up the tests/Catch.hs file to match the new interface for StackSet. Thanks Neil

1 0

darcs patch: updated Dmenu.hs to work with zipper StackSet
by Jason Creighton 21 May '07

21 May '07

Mon May 21 17:39:47 MDT 2007 Jason Creighton <jcreigh(a)gmail.com> * updated Dmenu.hs to work with zipper StackSet

2 1

Issue 5 in project xmonad
by codesite-noreply＠google.com 21 May '07

21 May '07

Issue 5: Not able to cycle through windows when in fullscreen layout mode http://code.google.com/p/xmonad/issues/detail?id=5 Comment #3 by SpencerJanssen: This is obviously not a universal issue -- marked as low priority until the initial reporter can provide more information. Issue attribute updates: Labels: -Priority-High Priority-Low -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

Issue 6 in project xmonad
by codesite-noreply＠google.com 21 May '07

21 May '07

Issue 6: Xmonad does not respect size hints http://code.google.com/p/xmonad/issues/detail?id=6 Comment #2 by SpencerJanssen: After some discussion on IRC, we came to a few conclusions: - We'd rather not respect size hints in tiling mode. Certain size hints will cause ugly gaps between windows. - Floating mode will fix many of the grievances mentioned. - Floating mode should respect the initial size given in a ConfigureRequest. Therefore I've marked this bug as low priority -- it will wait until floating mode is implemented. Issue attribute updates: Status: Accepted Labels: -Type-Defect -Priority-Medium Type-Enhancement Priority-Low -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

Issue 8 in project xmonad
by codesite-noreply＠google.com 21 May '07

21 May '07

Issue 8: Make layout info persist across restarts http://code.google.com/p/xmonad/issues/detail?id=8 New issue report by SpencerJanssen: Since the "Experimental support for a beefier restart." xmonad is able to save some state across restarts. Layout information, however, is not saved. There are two hurdles: - Find a way to serialize layouts. Layouts have functional components -- deriving Show/Read is not enough. - Move workspace to layout mapping to StackSet. Issue attributes: Status: Accepted Owner: SpencerJanssen Labels: Type-Enhancement Priority-Medium -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

heads up: xmonad zipper patch pushed
by dons＠cse.unsw.edu.au 21 May '07

21 May '07

I've pushed the reimplementation of xmonad as a zipper. This affects the StackSet module entirely (completely rewritten), and much of Operations.hs. Additional, a bit of the StackSet api has changed names (documented in the file), new QC properties have been added., and the code has shrunk by 55 lines: Code Comments Before: Operations.hs 194 139 Main.hs 110 88 StackSet.hs 101 132 XMonad.hs 57 89 Config.hs 53 136 TOTAL: 515 584 After: Operations.hs 152 149 Main.hs 97 71 StackSet.hs 87 272 XMonad.hs 71 102 Config.hs 53 136 TOTAL: 460 730 A few words of warning: * This likely breaks some of the contrib modules, due to api changes. Fixing that will happen over the next few days. * Also, the changes that affect Xinerama are untested, so Jason, if you can check that out. In particular, I believe focusWindow needs to check for visible workspaces, not just the current workspace. * Finally, Neil, if you want to rerun the Catch verifier on StackSet, that would be neat. I think I've followed up on the changes you suggested earlier in the week. Here's a sample of the changes to the logic core in StackSet, to make us feel happy. Old, table-based implementation of 'swap/promote': -promote w = maybe w id $ do - a <- peek w -- fail if null - (f, xs@(x:_)) <- M.lookup (current w) (stacks w) - let w' = w { stacks = M.insert (current w) (f, swap a x xs) (stacks w) } - return $ insert a (current w) w' -- and maintain focus (?) - where - swap a b xs = maybe xs id $ do - ai <- L.elemIndex a xs - bi <- L.elemIndex b xs - return . insertAt bi a . insertAt ai b $ xs - where insertAt n x ys = as ++ x : drop 1 bs - where (as,bs) = splitAt n ys New implementation: +swap = modify Empty $ \c -> case c of + Node _ [] _ -> c -- already master. + Node t ls rs -> Node t [] (ys ++ x : rs) where (x:ys) = reverse ls Cute eh? Similar effects for insert/rotate and friends. Window managers should be zippers. -- Don

4 6

read before you "darcs pull"
by Jason Creighton 21 May '07

21 May '07

Hi, Don is doing a lot of hacking on xmonad core right now. The APIs are in somewhat of a state of flux, so lots of stuff in XMonadContrib is probably broken right now. Therefore, if you use anything from XMonadContrib, you should probably not do a "darcs pull" right now. Core xmonad will probably be pretty stable, but we're hacking on it a little more than usual, so there could be some hiccups there as well. We'll let you know when things have settled down, probably sometime within the next several days. Jason Creighton

1 0

darcs patch: s/workspace/windowset/
by Jason Creighton 21 May '07

21 May '07

Sun May 20 22:03:30 MDT 2007 Jason Creighton <jcreigh(a)gmail.com> * s/workspace/windowset/

2 1

darcs patch: focusWindow: always view the containing workspace first
by Jason Creighton 21 May '07

21 May '07

Sun May 20 21:55:51 MDT 2007 Jason Creighton <jcreigh(a)gmail.com> * focusWindow: always view the containing workspace first

2 1