Почему это вызывает утечку памяти в библиотеке Haskell Conduit?

Это не anwser, это некий полный код, который я взломал для тестирования. Я вообще не знаю канала, так что это может быть не лучший код канала. Я форсировал все, что, кажется, нужно форсировать, но все равно протекает.

{-# LANGUAGE BangPatterns #-}

import Data.Conduit
import Data.Conduit.List
import Control.Monad.IO.Class

-- | Every n records, perform the IO action.
--   Used for progress reports to the user.
progress :: (MonadIO m) => Int -> (Int -> i -> IO ()) -> Conduit i m i
progress n act = skipN n 1
   where
      skipN !c !t = do
         mv <- await
         case mv of
            Nothing -> return ()
            Just !v ->
               if (c :: Int) <= 1
                  then do
                     liftIO $ act t v
                     yield v
                     skipN n (succ t)
                  else do
                     yield v
                     skipN (pred c) (succ t)

main :: IO ()
main = unfold (\b -> b `seq` Just (b, b+1)) 1
       $= progress 100000 (\_ b -> print b)
       $$ fold (\_ _ -> ()) ()

С другой стороны,

main = unfold (\b -> b `seq` Just (b, b+1)) 1 $$ fold (\_ _ -> ()) ()

не протекает, поэтому что-то в progress действительно кажется проблемой. Я не понимаю что.

РЕДАКТИРОВАТЬ: утечка происходит только с ghci! Если я скомпилирую двоичный файл и запустил его, утечки не будет (я должен был проверить это раньше ...)

Я думаю, что ответ Тома правильный, я начинаю это как отдельный ответ, так как он, вероятно, приведет к новому обсуждению (и потому что он слишком длинный для простого комментария). В моем тестировании замена print b в примере Тома на return () позволяет избавиться от утечки памяти. Это заставило меня подумать, что проблема на самом деле в print, а не в conduit. Чтобы проверить эту теорию, я написал простую вспомогательную функцию на C (помещенную в helper.c):

#include <stdio.h>

void helper(int c)
{
    printf("%d\n", c);
}

Затем я импортировал эту функцию в код Haskell:

foreign import ccall "helper" helper :: Int -> IO ()

и я заменил вызов print вызовом helper. Выходные данные программы идентичны, но я не показываю утечки и максимальное размещение 32 КБ против 62 КБ (я также изменил код, чтобы останавливаться на 10 м записях для лучшего сравнения).

Я наблюдаю подобное поведение, когда полностью вырезаю канал, например:

main :: IO ()
main = forM_ [1..10000000] $ \i ->
    when (i `mod` 100000 == 0) (helper i)

Однако я не уверен, что это действительно ошибка в print или Handle. Мое тестирование никогда не показало, что утечка достигает какого-либо существенного использования памяти, так что вполне возможно, что размер буфера приближается к пределу. Мне пришлось бы провести больше исследований, чтобы лучше понять это, но я хотел сначала посмотреть, согласуется ли этот анализ с тем, что видят другие.

Я знаю, что прошло два года, но подозреваю, что полная лень поднимает часть тела await до момента, предшествующего await, и это вызывает утечку пространства. Это похоже на случай из раздела "Расширение доступа" в m y блоге пост по этой теме.