[DARCS] Failed to compile

Hi, I did a darcs pull in Xmonad and XmonadContrib and it failed with these errors: [13 of 14] Compiling Config ( Config.hs, dist/build/xmonad/xmonad-tmp/Config.o ) Config.hs:99:38: Couldn't match expected type `Layout Window' against inferred type `TConf -> Layout Window' Probable cause: `tabbed' is applied to too few arguments In the second argument of `($)', namely `tabbed shrinkText' In the expression: simpleStacking $ (tabbed shrinkText) Config.hs:181:51: Couldn't match expected type `Maybe WorkspaceId' against inferred type `WorkspaceId' Expected type: Maybe WorkspaceId -> X b Inferred type: WorkspaceId -> X () In the second argument of `(>>=)', namely `f' In the expression: (screenWorkspace sc) >>= f I did a setup.lhs clean before doing anything else. What could I do ? Regards, Xavier

On Mon, Jul 16, 2007 at 06:47:06PM +0000, Xavier Maillard wrote:
Hi,
Hi,
I did a darcs pull in Xmonad and XmonadContrib and it failed with these errors:
you are using a Config.hs file that is incompatible with the darcs version of XMonad.
[13 of 14] Compiling Config ( Config.hs, dist/build/xmonad/xmonad-tmp/Config.o )
Config.hs:99:38: Couldn't match expected type `Layout Window' against inferred type `TConf -> Layout Window' Probable cause: `tabbed' is applied to too few arguments In the second argument of `($)', namely `tabbed shrinkText' In the expression: simpleStacking $ (tabbed shrinkText)
tabbed now takes two arguments: read XMobarConfig/Tabbed.hs for more information on Usage.
Config.hs:181:51: Couldn't match expected type `Maybe WorkspaceId' against inferred type `WorkspaceId' Expected type: Maybe WorkspaceId -> X b Inferred type: WorkspaceId -> X () In the second argument of `(>>=)', namely `f' In the expression: (screenWorkspace sc) >>= f
Something changed within XModar: see the new Config.hs or change (screenWorkspace sc) >>= f to (screenWorkspace sc) >>= flip whenJust f at line 181, column 51 You can also start from a clean Config.hs and reinstall the modules you need. Probably the best option. Hope this helps. Andrea

Hi Andrea, First, thank you for your post since it solved my config problems. I still have one though: [14 of 15] Compiling Config ( Config.hs, dist/build/xmonad/xmonad-tmp/Config.o ) Config.hs:88:19: `Layout' is not applied to enough type arguments Expected kind `*', but `Layout' has kind `* -> *' In the type `[Layout]' In the type signature for `defaultLayouts': defaultLayouts :: [Layout] Installing: /tmp/build/xmonad/usr/lib/ghc-6.6.1/site-local/xmonad-0.3darcs & /tmp/build/xmonad/usr/bin xmonad-0.2... And here is what I think is the culprit: defaultLayouts :: [Layout] defaultLayouts = [ tabbed shrinkText defaultTConf , mirror tiled , simpleStacking $ tabbed shrinkText defaultTConf , circle , twoPane delta (1%2) , full ] where .... Regards, Xavier

maillaxa:
Hi Andrea,
First, thank you for your post since it solved my config problems.
I still have one though:
[14 of 15] Compiling Config ( Config.hs, dist/build/xmonad/xmonad-tmp/Config.o )
Config.hs:88:19: `Layout' is not applied to enough type arguments Expected kind `*', but `Layout' has kind `* -> *'
* and * -> * mean a type signature is missing a type argument. it should be: defaultLayouts :: [Layout Window] Cheers, Don

Hi,
Donald Bruce Stewart
it should be:
defaultLayouts :: [Layout Window]
Exactly ! Thank you. Although it works, usage in Tabbed.hs is wrong: -- $usage -- You can use this module with the following in your configuration file: -- -- > import XMonadContrib.Tabbed -- -- > defaultLayouts :: [Layout] isn't it ? Regards, Xavier

On Tue, Jul 17, 2007 at 04:36:47AM +0000, Xavier Maillard wrote:
Donald Bruce Stewart
writes: defaultLayouts :: [Layout Window]
Exactly ! Thank you. Although it works, usage in Tabbed.hs is wrong: -- > defaultLayouts :: [Layout]
isn't it ?
yes it is, you are right. I've just sent a patch to correct it (it's the one without description here below). All the best andrea
participants (3)
-
Andrea Rossato
-
dons@cse.unsw.edu.au
-
Xavier Maillard