GHC中自动特化的传递性

来自GHC 7.6的的文档:

你通常一开始就不需要使用specialized语法。当编译模块M时，GHC的优化器(带-O)会自动考虑在M中声明的每个顶级重载函数，并针对在M中被调用的不同类型对其进行特殊化。优化器还会考虑每个导入的INLINABLE重载函数，并针对在M中被调用的不同类型对其进行特殊化。

而且

此外，给定函数f的specialspecialpragma, GHC将自动为f调用的任何类型类重载函数创建专门化，如果它们与specialspecialpragma在同一个模块中，或者如果它们是INLINABLE;以此类推。

所以GHC应该自动专门化一些/最/ (?)函数标记INLINABLE 没有一个pragma，如果我使用显式的pragma，专门化是可传递的。我的问题是: __abc0 -特化是否可传递?< / p >

具体来说，这里有一个小例子:

Main.hs:

import Data.Vector.Unboxed as U
import Foo


main =
let y = Bar $ Qux $ U.replicate 11221184 0 :: Foo (Qux Int)
(Bar (Qux ans)) = iterate (plus y) y !! 100
in putStr $ show $ foldl1' (*) ans

foo。:

module Foo (Qux(..), Foo(..), plus) where


import Data.Vector.Unboxed as U


newtype Qux r = Qux (Vector r)
-- GHC inlines `plus` if I remove the bangs or the Baz constructor
data Foo t = Bar !t
| Baz !t


instance (Num r, Unbox r) => Num (Qux r) where
{-# INLINABLE (+) #-}
(Qux x) + (Qux y) = Qux $ U.zipWith (+) x y


{-# INLINABLE plus #-}
plus :: (Num t) => (Foo t) -> (Foo t) -> (Foo t)
plus (Bar v1) (Bar v2) = Bar $ v1 + v2

GHC专门调用plus，但是不专门调用Qux Num实例中的(+)，这会降低性能。

然而，一个显式的pragma

{-# SPECIALIZE plus :: Foo (Qux Int) -> Foo (Qux Int) -> Foo (Qux Int) #-}

如文档所示，结果是传递专门化，因此(+)是专门化的，代码速度快了30倍(都是用-O2编译的)。这是预期的行为吗?我应该只期望(+)通过显式的pragma传递地特殊化吗?

---

更新

7.8.2的文档没有改变，行为是一样的，所以这个问题仍然是相关的。