<div dir="ltr">On Mon, Nov 5, 2012 at 12:06 PM, Eyal Erez <span dir="ltr"><<a href="mailto:oneself@gmail.com" target="_blank">oneself@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div><br>xmonad.hs:391:25:</div>
</div><div><div> Couldn't match expected type `a -> a1' against inferred type `X ()'</div></div><div><div> In the first argument of `(>>)', namely `takeTopFocus'</div></div><div><div> In the first argument of `($)', namely</div>
</div><div><div> `takeTopFocus >> dynamicLogWithPP'</div></div><div><div> In the `logHook' field of a record</div></div></blockquote></blockquote><div><br></div><div>Hrm. I would have expected the definitions to handle that...</div>
<div><br></div><div><+> works there, if >> doesn't.</div><div><br></div><div><div><font face="courier new, monospace">Prelude XMonad XMonad.Hooks.DynamicLog XMonad.Hooks.ICCCMFocus> :t defaultConfig { logHook = takeTopFocus <+> dynamicLog }</font></div>
<div><font face="courier new, monospace">defaultConfig { logHook = takeTopFocus <+> dynamicLog }</font></div><div><font face="courier new, monospace"> :: XConfig (Choose Tall (Choose (Mirror Tall) Full))</font></div>
</div><div><br></div></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a> <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
<div>unix/linux, openafs, kerberos, infrastructure <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div><br>
</div>