internal error: Unable to commit 1048576 bytes of memory. Deepseq

the following code is a (nearly) minimal working example that causes the aforementioned internal error.

module Main where

import           Control.DeepSeq

myfunc :: Int -> Int
myfunc x = sum . take x $ [0..]

logiter :: (NFData a) => Int -> (a -> a) -> a -> IO a
logiter iter f x
  | iter >= 0 = do
        let y = f x
        deepseq y print $ "iter " ++ show iter
        if iter == 0 then return y else logiter (iter - 1) f y
  | otherwise = error "no negative iter!"

main :: IO ()
main = do
    print "start"
    print . show $ myfunc 2000000
    print "done"
    print "start"
    res <- logiter 5 myfunc 2000000
    print "done"
    print . show $ res

Perhaps this is an issue with deepseq, however it the message does say to come and report the bug, so that's what I'm doing.

Trac metadata

Trac field	Value
Version	8.4.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed milestone to %8.6.1

changed weight to 5

added Tbug Trac import labels

closed

I've just realised now, that this is likely due to the fact that I'm asking for the sum of several trillion numbers, recursion eh... I guess this is expected behaviour? perhaps the error message should be something a bit more informative, i.e. you've just run out of memory, rather than stating that this is an internal compiler error?

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

added runtime crash label

added Pnormal label

mentioned in issue #17039 (closed)

perhaps the error message should be something a bit more informative, i.e. you've just run out of memory, rather than stating that this is an internal compiler error?

You're very right. I created #17039 (closed) for this.