From 32067a9525a638774d14db50b39882cc3a3367dc Mon Sep 17 00:00:00 2001 From: David Roundy Date: Wed, 1 Aug 2007 14:45:43 +0000 Subject: [PATCH] fix CopyWindow to not require Integral WorkspaceId. --- CopyWindow.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CopyWindow.hs b/CopyWindow.hs index 901835db..289673b6 100644 --- a/CopyWindow.hs +++ b/CopyWindow.hs @@ -47,7 +47,7 @@ import StackSet copy :: WorkspaceId -> X () copy n = windows (copy' n) -copy' :: (Ord a, Eq s, Integral i) => i -> StackSet i a s sd -> StackSet i a s sd +copy' :: (Ord a, Eq s, Eq i) => i -> StackSet i a s sd -> StackSet i a s sd copy' n s = if n `tagMember` s && n /= tag (workspace (current s)) then maybe s go (peek s) else s