-- 成功。itr 内にチャンクを置いたままにする
-- とメモリの無駄になるので除去。
chunk ← readItr itrReceivedBody seqToLBS itr
- writeItr itrReceivedBody (∅) itr
+ writeItr itrReceivedBody (∅) itr
+ writeItr itrReceivedBodyLen 0 itr
return chunk
driftTo DecidingHeader
$ retry
-- 成功
chunk ← readItr itrReceivedBody seqToLBS itr
- writeItr itrReceivedBody (∅) itr
+ writeItr itrReceivedBody (∅) itr
+ writeItr itrReceivedBodyLen 0 itr
return chunk
when (Lazy.null chunk)
$ driftTo DecidingHeader