Skip to content

Commit 2e3802f

Browse files
committed
Drop seemingly ineffective SPECIALISE pragmas
GHC HEAD warns about these: ``` Data/Sequence.hs:407:1: warning: SPECIALISE pragma for non-overloaded function ‘aptyMiddle’ Data/Sequence.hs:416:1: warning: SPECIALISE pragma for non-overloaded function ‘aptyMiddle’ Data/Sequence.hs:1001:1: warning: SPECIALISE pragma for non-overloaded function ‘cycleNMiddle’ Data/Sequence.hs:1007:1: warning: SPECIALISE pragma for non-overloaded function ‘cycleNMiddle’ ```
1 parent e024991 commit 2e3802f

File tree

1 file changed

+0
-32
lines changed

1 file changed

+0
-32
lines changed

Data/Sequence.hs

Lines changed: 0 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -404,25 +404,6 @@ aptyMiddle firstf
404404
(Two (fmap lastf pr) (fmap lastf q))
405405
where converted = node3 pr q sf
406406

407-
{-# SPECIALIZE
408-
aptyMiddle
409-
:: (Node c -> d)
410-
-> (Node c -> d)
411-
-> ((a -> b) -> Node c -> d)
412-
-> FingerTree (Elem (a -> b))
413-
-> Rigid (Node c)
414-
-> FingerTree (Node d)
415-
#-}
416-
{-# SPECIALIZE
417-
aptyMiddle
418-
:: (Elem c -> d)
419-
-> (Elem c -> d)
420-
-> ((a -> b) -> Elem c -> d)
421-
-> FingerTree (Elem (a -> b))
422-
-> Rigid (Elem c)
423-
-> FingerTree (Node d)
424-
#-}
425-
426407
digit12ToDigit :: Digit12 a -> Digit a
427408
digit12ToDigit (One12 a) = One a
428409
digit12ToDigit (Two12 a b) = Two a b
@@ -998,19 +979,6 @@ cycleNMiddle n
998979
(Two pr q)
999980
where converted = node3 pr q sf
1000981

1001-
{-# SPECIALIZE
1002-
cycleNMiddle
1003-
:: Int
1004-
-> Rigid (Node c)
1005-
-> FingerTree (Node (Node c))
1006-
#-}
1007-
{-# SPECIALIZE
1008-
cycleNMiddle
1009-
:: Int
1010-
-> Rigid (Elem c)
1011-
-> FingerTree (Node (Elem c))
1012-
#-}
1013-
1014982

1015983
-- | /O(1)/. Add an element to the left end of a sequence.
1016984
-- Mnemonic: a triangle with the single element at the pointy end.

0 commit comments

Comments
 (0)