История изменений
Исправление Bohtvaroh, (текущая версия) :
Если early termination, то копить нечего; если копить вместо фейла, то где early termination?
Грамматика не строгая, то есть я могу ожидать какие-то секции в структуре, но их может не оказаться, поэтому на EOF надо вернуть то, что получилось достать - это и есть early termination.
readHeader readSection1 readSection2 // oops no section 3, return what we have so far readSection3
При этом input хочется чейнить неявно, через State.
Исправление Bohtvaroh, :
Если early termination, то копить нечего; если копить вместо фейла, то где early termination?
Грамматика не строгая, то есть я могу ожидать какие-то секции в структуре, но их может не оказаться, поэтому на EOF надо вернуть то, что получилось достать - это и есть early termination.
readHeader readSection1 readSection2 // oops no section 3, return what we have so far readSection3
Исходная версия Bohtvaroh, :
Если early termination, то копить нечего; если копить вместо фейла, то где early termination?
Грамматика не строгая, то есть я могу ожидать какие-то секции в структуре, но их может не оказаться, поэтому на EOF надо вернуть то, что получилось достать - это и есть early termination.
readHeader readSection1 readSection2 // oops no section 3, return what we have so far readSection3