
Ooops! I loose mailing list in recipients. Just forward.
2011/1/26 Jan-David Quesel
Maybe split the function and rewrite such that you get doF (\y -> createMissing "web" >> (W.shift "web" y))
Regards, Jan
On Wed, Jan 26, 2011 at 10:03:07PM +1000, Владимир Байраковский wrote:
Ok, it works. The next one error is:
xmonad.hs:79:3: Couldn't match expected type `X a' against inferred type `W.StackSet String l a1 s sd -> W.StackSet String l a1 s sd' In the expression: W.shift x In the expression: do { when (x `notElem` (map show $ map W.tag $ W.workspaces w)) $ addHiddenWorkspace x; W.shift x } In the second argument of `($)', namely `\ w -> do { when (x `notElem` (map show $ map W.tag $ W.workspaces w)) $ addHiddenWorkspace x; W.shift x }'
2011/1/26 Jan-David Quesel
: There is some w missing...
On Wed, Jan 26, 2011 at 09:08:16PM +1000, Владимир Байраковский wrote:
So, some imports needed:
import Control.Monad (when) import Data.List
But this error occured:
xmonad.hs:78:45: Couldn't match expected type `[W.Workspace i l a]' against inferred type `W.StackSet i1 l1 a1 s sd -> [W.Workspace i1 l1 a1]' In the second argument of `($)', namely `W.workspaces' In the second argument of `($)', namely `map W.tag $ W.workspaces' In the second argument of `notElem', namely `(map show $ map W.tag $ W.workspaces)'
where line 78 is: when(x `notElem` (map show $ map W.tag $ W.workspaces)) $ addHiddenWorkspace x
It should read:
when(x `notElem` (map show $ map W.tag $ W.workspaces w)) $ addHiddenWorkspace x
Regards, Jan
-- Jan-David Quesel Carl von Ossietzky Universität Oldenburg Department of Computing Science Correct System Design D-26111 Oldenburg, Germany
Phone: +49 (0)441 798-2376 Fax: +49 (0)441 798-2965
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk1ABmgACgkQzWWUYNynIPEu8ACdHEva1W/tf28zJSoLGQ4i9So5 nrcAoLpBMrjOa8EbbSXXBx+X4SqKkWWl =2b4n -----END PGP SIGNATURE-----
-- Jan-David Quesel Carl von Ossietzky Universität Oldenburg Department of Computing Science Correct System Design D-26111 Oldenburg, Germany
Phone: +49 (0)441 798-2376 Fax: +49 (0)441 798-2965
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk1AD3YACgkQzWWUYNynIPGvFgCeLiPPLe9ujZs6dcBtDqjuPMgn aaMAn2M+DP5SzQAPtMvR+FG7zsqZCfXl =s0QI -----END PGP SIGNATURE-----
participants (1)
-
Владимир Байраковский