On Mon, Nov 5, 2012 at 12:06 PM, Eyal Erez <oneself@gmail.com> wrote:

xmonad.hs:391:25:
    Couldn't match expected type `a -> a1' against inferred type `X ()'
    In the first argument of `(>>)', namely `takeTopFocus'
    In the first argument of `($)', namely
        `takeTopFocus >> dynamicLogWithPP'
    In the `logHook' field of a record

Hrm.  I would have expected the definitions to handle that...

<+> works there, if >> doesn't.

Prelude XMonad XMonad.Hooks.DynamicLog XMonad.Hooks.ICCCMFocus> :t defaultConfig { logHook = takeTopFocus <+> dynamicLog }
defaultConfig { logHook = takeTopFocus <+> dynamicLog }
  :: XConfig (Choose Tall (Choose (Mirror Tall) Full))

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix/linux, openafs, kerberos, infrastructure          http://sinenomine.net