Separate parsing from further processing

[Lev135]

Всё-таки надо это сделать будет, видимо, в ближайшее время, так как обрабатывать что-либо более-менее сложное в парсере непосредственно проблематично. Но для того, чтоб это сделать надо чтобы распарсить можно было не вникая в то, какие именно окружения присутствуют. Пока это так, но есть идея запретить в математике парсинг префиксов и тогда это станет уже не так. Надо всё-таки, видимо, каким-то образом научиться гарантировано отличать префиксы от не-префиксов. Но как это сделать, не добавляя каких-то лишних символов?

[Lev135]

Как первый этап в этом направлении предлагаю сохранять SourcePos определений хотя бы:

data Definition
    = DefE  Environment
    | DefMC Command
    | DefC  Command
    | DefP  Pref
    deriving Show
type PosSegm = (SourcePos, SourcePos)
type DefinitionPos = (Definition, PosSegm)

Вывод сообщений об ошибках тогда можно улучшить, примерно как в TestGenerator'е
Ошибки будут возникать:

• при повторном определении (Use Data.Map instead of list of pairs #17)
• при дальнейшем разборе файла, когда у окружения, например, не будет хватать аргументов