9

这个小的haskell 代码片段导致 ghc 在编译期间不会终止：

{-# LANGUAGE BangPatterns #-}
{-# OPTIONS_GHC -O2 #-}

import qualified Data.Vector.Unboxed.Mutable as MV
import Data.Vector.Unboxed ((!))
import qualified Data.Vector.Unboxed as V
import Control.Monad (forM_)

similar :: V.Vector Char -> Int
similar v = l + sum (map (similar' 1 1) checks)
  where
    (l,checks) = let h = V.head v in V.foldl'  
        (\(i,is) c -> if c == h then (i+1,i:is) else (i+1,is)) (1,[]) (V.tail v)
    similar' !r !n !i = if i < l-1 && v!(n) == v!(i+1) then similar' (r+1) (n+1) (i+1)
        else r

main :: IO ()
main = do
    n <- getLine
    v <- MV.replicate (read n) 0
    forM_ [1..read n] $ \n' -> do
      v' <- getLine
      MV.unsafeWrite v (n'-1) (similar . V.fromList $ v')
    V.unsafeFreeze v >>= V.mapM_ print

我尝试了 ghc 7.4.1 和 7.6.1 并且都没有终止。当我使用ByteStrings 而不是Vectors 时，代码运行良好。这是 ghc 问题还是库问题？还是我的代码中某处有问题？

4

1 回答 1

5

这似乎是一个 GHC 问题。

编译通过使用vector-0.10.0.1的ghc-7.0.2和使用vector-0.7.0.1的ghc-7.0.4，并使用带有vector-0.7.1的ghc-7.2.1，使用ghc-7.2.2挂起vector-0.9、ghc-7.4.1 与 vector-0.9.1、ghc-7.4.2 与 vector-0.9.1 和 ghc-7.6.1 与 vector-0.9.1 和 vector-0.10.0.1。

编译挂在SpecConstrpass 中，vector包大量使用了它。我要开一张票。好吧，有人更快。

于 2013-01-06T23:00:01.497 回答