invoke_list about lens HOT 7 CLOSED

Аналогичная проблема есть в определении type:

type                = [ namespace "." ] identifier [ ( { "[]" } | type_params ) ]

(на месте { "[]" } парсер просто завязнет, если до него доберётся).

from lens.

Не понимаю сути проблемы. Один литерал в фигурных скобках - самый лучший пример конструкции "0 или больше". В регулярках конструкция x* не вызывает никаких проблем, почему тут они возникают? И вообще, как тогда использовать { ... } ?

from lens.

А вообще, я рано поднял тревогу, наверное. Нужно потестировать те определения, которые есть - авось прокатит.

(Ранее у меня упал fparsec на конструкции many <| pchar ' ', что и вызвало у меня острое желание обезопасить тылы.)

from lens.

type                = [ namespace "." ] identifier [ ( { "[]" } | type_params ) ]

С этим уже вышла проблема вот на этом месте:

Tuple<Suit, int>

Парсер работал так:

1. Нашёл "Tuple" : identifier.
2. Попробовал заматчить кусочек из квадратных скобок:
3. - увидел { "[]" }, успешно заматчил с пустой строкой;
4. - пошёл дальше, упал и умер.

Я решил эту проблему, переставив узлы в грамматике примерно вот так:

type                = [ namespace "." ] identifier [ ( type_params | { "[]" } ) ]

from lens.

Первая мысль была как раз переставить их местами. Неужели сработало?

from lens.

В связи с этим, кстати, нужно поменять эти токены местами в грамматике тоже. @impworks, займись, пожалуйста.

from lens.

Поменяли грамматику, проблема условно решена.

from lens.