AP
Так вроде так же и должно работать?
try пробует прогнать подпарсер, но потом откатывает в начало инпута
Size: a a a
2021 April 01
AP
Т.е. если в самих парсерах рекурсия, то инпут не будет потребляться совсем и будет цикл
JS
function :: Parser Expr
function = indentBlock $ do
rword "let"
name <- word
args <- many word
char '='
return (L.IndentMany Nothing (return . Function name args ) expr')
expr' :: Parser Expr
expr' = try function <|> ...
Вопрос: как сделать так, чтобы в любой функции можно было бы объявить функцию, но в случае ошибки парсер бы не уходил в бесконечную рекурсию?
function = indentBlock $ do
rword "let"
name <- word
args <- many word
char '='
return (L.IndentMany Nothing (return . Function name args ) expr')
expr' :: Parser Expr
expr' = try function <|> ...
Вопрос: как сделать так, чтобы в любой функции можно было бы объявить функцию, но в случае ошибки парсер бы не уходил в бесконечную рекурсию?
выложите весь код, если хотите, чтобы кто-то поискал неправильную рекурсию вместе с вами
X
try пробует прогнать подпарсер, но потом откатывает в начало инпута
Что тогда делать?
AP
Попробуйте мегапарсековый Debug
AP
Он подробно выводит то, как и что парсится
AP
И погоняйте подпарсеры отдельно от мелких к крупным
к
кстати, let - это не функция
да это же его язык, он может хоть через "type" функции объявлять
[
хочу объявлять функции через my_best_function
JS
да это же его язык, он может хоть через "type" функции объявлять
тут наоборот, let ограничен до функций
MK
Да
[
на серванте