Dlaczego ten program Haskella różni się?

Question

Wygląda dziwną różnicę między [1,2,3] a [1..3].

Użycie polecenia runghc na poniższym rysunku powoduje wypisanie jednego "True", a następnie zawiesza się na zawsze: dlaczego? (Używam GHC 7.8.3)

module Main where 

import Data.Functor((<$>)) 
import Data.Time.Clock(DiffTime) 
import Data.Binary(Binary(..), encode, decode, Get) 
import Data.Int(Int64) 

instance Binary DiffTime where 
    put x = put (truncate (x * 10^12) :: Int64) 
    get = ((/ 10^12) . fromIntegral) <$> (get :: Get Int64) 

prop_getput_difftime :: DiffTime -> Bool 
prop_getput_difftime x = x == ((decode . encode $ x) :: DiffTime) 

explicit :: [DiffTime] 
explicit = [1,2,3,4,5,6,7,8,9,10] 

elipsis :: [DiffTime] 
elipsis = [1..10] 

main :: IO() 
main = do 
    print $ all prop_getput_difftime explicit 
    print $ all prop_getput_difftime elipsis -- diverges! 

---

Uwaga powyższa implementacja binarny dla difftime jest źle; ale to nie ma znaczenia.

Answer 1

Dzięki otulp z #haskell, oto powód:

Prelude> take 3 [1..2] :: [Data.Time.DiffTime] 
[1s,1.000000000001s,1.000000000002s] 

co zdarza się z powodu wystąpienia Enum dla DiffTime

Zmiana elipsis na to rozwiązuje problem:

elipsis = map fromIntegral ([1..10] :: [Int])