JS
правильно. за хаскелита компилятор думает
Size: a a a
2021 March 11
2021 March 12
[
А кто подумает за компилятор?😢
YS
Местами теория типов
MK
Что такое Token?
X
Что такое Token?
Это из MegaParsec
MK
Скорее всего это тайпфемели, который равен Char
MK
Типа Token Text = Char
JS
Как это понимать?
keyword :: Text
Defined at /home/daniil/IdeaProjects/ElectroMega/src/Electro.hs:44:10
• Couldn't match type ‘Char’ with ‘Text’
Expected type: [Token Text]
Actual type: [Text]
keyword :: Text
Defined at /home/daniil/IdeaProjects/ElectroMega/src/Electro.hs:44:10
• Couldn't match type ‘Char’ with ‘Text’
Expected type: [Token Text]
Actual type: [Text]
этот парсер парсит по чарам, а не по текстам
JS
Как это понимать?
keyword :: Text
Defined at /home/daniil/IdeaProjects/ElectroMega/src/Electro.hs:44:10
• Couldn't match type ‘Char’ with ‘Text’
Expected type: [Token Text]
Actual type: [Text]
keyword :: Text
Defined at /home/daniil/IdeaProjects/ElectroMega/src/Electro.hs:44:10
• Couldn't match type ‘Char’ with ‘Text’
Expected type: [Token Text]
Actual type: [Text]
покажите, в какой строчке ошибка
X
этот парсер парсит по чарам, а не по текстам
satisfy (
elem ["", ""]) тоже не работаетX
покажите, в какой строчке ошибка
pKeyword :: Text -> Parser Text
pKeyword keyword = lexeme (oneOf keywords <* notFollowedBy alphaNumChar)
pKeyword keyword = lexeme (oneOf keywords <* notFollowedBy alphaNumChar)
JS
satisfy (
elem ["", ""]) тоже не работаетпотому что "" — это не чар
JS
satisfy (
elem ["", ""]) тоже не работаетчары — это 'a', 'b'
X
чары — это 'a', 'b'
satisfy только для чаров?
JS
satisfy только для чаров?
вообще для токенов, но в вашем случае для чаров
JS
в исходниках мегапарсека так задан тип Token:
instance Stream T.Text where
type Token T.Text = CharJS
Мне нужно сделать свёртку списка парсеров с помощью <|> ?
asum