[xmonad] Strange workspace switching bug in my config

[Leo Alekseyev]

On Sun, May 13, 2012 at 7:45 PM, Norbert Zeh <nzeh at cs.dal.ca> wrote:
> Leo Alekseyev [2012.05.13 1923 -0400]:
>> Hi Norbert,
>> Yes, my original math was kind of dodgy...  Your solution seems
>> better, but it doesn't compile for me...  any ideas?
>
> Sorry.  I didn't check whether it compiles and got the type of greedyView wrong.
> Here's a correct (and slightly cleaner version):
>
> jumpToMain = withWindowSet (windows . W.greedyView . toMain . W.tag . W.workspace . W.current)
>  where
>    toMain ws = [head ws]
>
> jumpToScratch = withWindowSet (windows . W.greedyView . toScratch . W.tag . W.workspace . W.current)
>  where
>    toScratch ws | length ws == 1 = ws ++ "SCR"
>                 | otherwise      = ws

Yes, this is simpler and compiles, but doesn't seem to work here :(
These functions appear to not do anything in my config...