Concurrent Clean : Heap Full (6)

[id:lethevert:20060219:p1]で説明したHeap Fullエラーについて、MLで返事がきました。
http://mailman.science.ru.nl/pipermail/clean-list/2006/002968.html
先日の私の解説と大体同じですが、

Start = [0..100001]!!100000

なら停止しますよ、という話は、興味深い。

      • -

ところで、また発見したHeap Fullエラー

Start = [a \\ a <|- [!0..]]!!100000000

似ているけれど、こちらはOK

Start = [a \\ a <|- [!0..100000001]]!!100000000