<div dir="ltr"><div style>-- ok, something in deriving NFData using Generics in a type that has a Vector in it.</div><div style><br></div><div style><br></div><div>{-# LANGUAGE DeriveGeneric #-}</div><div>import Control.DeepSeq</div>
<div>import System.IO</div><div>import GHC.Generics (Generic)</div><div>import qualified Data.Vector as V</div><div>import qualified Data.ByteString.Lazy.Char8 as BL</div><div><br></div><div>scanl&#39; :: NFData a =&gt; (a -&gt; b -&gt; a) -&gt; a -&gt; [b] -&gt; [a]</div>
<div>scanl&#39; f q ls =  q : (case ls of</div><div>                        []   -&gt; []</div><div>                        x:xs -&gt; let q&#39; = f q x</div><div>                                in q&#39; `deepseq` scanl&#39; f q&#39; xs)</div>
<div><br></div><div>-- this runs without blowing up</div><div>-- main = print $ last $ scanl&#39; (+) (0::Int) [0..]</div><div><br></div><div>data Simple = Simple (V.Vector Double)</div><div>            deriving (Show, Generic)</div>
<div><br></div><div>instance NFData Simple</div><div style><br></div><div style>--this blows up</div><div>main = do</div><div>   let initial = Simple $ V.fromList (take 100 $ repeat 0)</div><div>       sumvs (Simple a) (Simple b) = Simple $ V.zipWith (+) a b</div>
<div>   print $ last $ scanl&#39; sumvs initial $ repeat $ initial</div><div><br></div><div class="gmail_extra"><br></div></div>