From 3794ab83abadaf9de9c2a386bbbb7d4c4d0513d0 Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Sat, 2 Oct 2010 04:08:41 +0200 Subject: Clarify the note on -XRank2Types in L.Groups Ignore-this: 4ffe5d2d0be1e8b8a8c151b134e963f2 darcs-hash:20101002020841-1499c-c8512eb095bd56be173c35004b24016d457c74e9.gz --- XMonad/Layout/Groups.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'XMonad/Layout/Groups.hs') diff --git a/XMonad/Layout/Groups.hs b/XMonad/Layout/Groups.hs index 4eaea40..984aa46 100644 --- a/XMonad/Layout/Groups.hs +++ b/XMonad/Layout/Groups.hs @@ -353,9 +353,10 @@ refocus g = case getFocusZ $ gZipper $ W.focus $ groups g -- * Duplicate layouts (only one will be kept, the rest will -- get the base layout) -- --- Note that 'ModifySpec' is a rank-2 type (indicating that 'ModifySpec's must be polymorphic --- in the layout type), so you'll need to add @{-# LANGUAGE Rank2Types #-}@ at the beginning --- of any module that defines functions taking 'ModifySpec's as arguments, or returning them. +-- Note that 'ModifySpec' is a rank-2 type (indicating that 'ModifySpec's must +-- be polymorphic in the layout type), so if you define functions taking +-- 'ModifySpec's as arguments, or returning them, you'll need to write a type +-- signature and add @{-# LANGUAGE Rank2Types #-}@ at the beginning type ModifySpec = forall l. WithID l Window -> Zipper (Group l Window) -> Zipper (Group l Window) -- cgit v1.2.3