использование oneOf в haskell, ошибки при компиляции - PullRequest
2 голосов
/ 13 января 2010

Я полный новичок в Хаскеле. Я пытаюсь скомпилировать этот файл Haskell, который я скачал, но он дает мне некоторые ошибки

No instance for (Text.Parsec.Prim.Stream s m Char)
  arising from a use of 'letter' at Parse.lhs:649:26-31
Possible fix:
  add an instance declaration for (Text.Parsec.Prim.Stream s m Char)
In the first argument of '(<|>)', namely 'letter'
In the expression: letter <|> oneOf "_"
In the definition of 'firstAllowed':
  firstAllowed = letter <|> oneOf "_"

Не уверен, что этого достаточно, но вот фрагмент кода с ошибкой:

parseIdent = do { str <- indent
                ; return (makeIdent str)
                } <?> "identifier"
  where firstAllowed = oneOf "_" <|> letter

1 Ответ

4 голосов
/ 13 января 2010

В той части, которую вы цитировали, локальная функция firstAllowed, похоже, нигде не используется. Что произойдет, если вы удалите строку where?

В качестве альтернативы вы можете попробовать добавить подпись этого типа в firstAllowed:

 where
    firstAllowed :: Stream s m Char => ParsecT s u m Char
    firstAllowed = ...
...