Использование комбинаторов парсера Text.Parser и Inf

Далее используется грамматика из файла contrib.Parser

test : Grammar t b a -> Grammar t b a
test p = do a <- p
            pure a

К сожалению, это приводит к ошибке компилятора:

type mismatch between _ -> Grammar tok False _ and delayed Infinite b (a -> Grammar t c2 a)

Как я могу это исправить?

0 ответов

Другие вопросы по тегам