ghci: модуль импорта без ошибок, но затем не найден - PullRequest
0 голосов
/ 19 января 2020

Я сделал в ghci несколько импортов, среди них

import Data.Map

Не было сообщения об ошибке, и приглашение ghci действительно показывает

Prelude System.Random Data.List Data .Map Data.Set>

Теперь я хотел проверить максимальный размер карты и ввел

Data.Map.maxBound

, который выдал сообщение об ошибке:

: 5: 1: ошибка:

Не входит в область действия: «Data.Map.maxBound» Ни один модуль с именем «Data.Map» не импортирован.

Почему теперь ghci вдруг говорит, что у меня нет такого модуля?

ОБНОВЛЕНИЕ : Ошибка возникает только при попытке доступа к maxBound. Например, при использовании Data.Map.fold я получаю ожидаемый Data.Map.fold больше нет. Используйте foldr. , поэтому Data.Map вроде бы загружается, но все же с maxBound утверждает, что модуля Data.Map нет ....

Из документов о maxBound :

Размер карты не должен превышать maxBound :: Int. Нарушение этого условия не обнаружено, и если превышен предел размера, его поведение не определено.

...