From ee57a01ad607ca3102e3d1646e971d6f153c96c5 Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Mon, 4 Jun 2007 20:07:45 +0200 Subject: Integral implies Eq darcs-hash:20070604180745-a5988-bbeb0e2f34a21fe9853f67440e59929a1084c76d --- StackSet.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'StackSet.hs') diff --git a/StackSet.hs b/StackSet.hs index fa800a7..bb581d2 100644 --- a/StackSet.hs +++ b/StackSet.hs @@ -186,7 +186,7 @@ new n m | n > 0 && m > 0 = StackSet n cur visi unseen M.empty -- becomes the current screen. If it is in the visible list, it becomes -- current. -- -view :: (Eq i, Eq a, Eq s, Integral i) => i -> StackSet i a s -> StackSet i a s +view :: (Eq a, Eq s, Integral i) => i -> StackSet i a s -> StackSet i a s view i s | i < 0 && i >= size s || i == tag (workspace (current s)) = s -- out of bounds or current -- cgit v1.2.3