В настоящее время я изучаю некоторые языки Haskell, использующие hdevtools через ALE в Vim.Похоже, что установка настраиваемого приглашения GHCI приводит к тому, что hdevtools сообщает об ошибках даже при тривиальных объявлениях типов.
Мой .ghci файл состоит только из настраиваемого приглашения:
:set prompt "λ> "
При этом этот фрагмент...
hello :: String
hello = "Hello world"
... выделяется как ошибка:
[hdevtools] Not in scope: type constructor or class ‘String’ [Error]
Это действительно вызвано пользовательским приглашением, отключение которого удаляет сообщение об ошибке.Кажется, что другие имели ту же проблему, но на самом деле не дали решения.Я бы, конечно, хотел бы продолжать использовать как настраиваемое приглашение, так и hdevtools, так как здесь можно сделать эту работу?
(Версии 8.6.3 для GHC и 0.1.8.0 для hdevtools.)