История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Он ругается на функцию, а функция правильная. Не правилен вызов.
Нет. В типе твоей функции написано, что она принимает Integer, в смысле любое значение этого типа. Но по факту, она принимает только одно значение, а для всех остальных возвращает bottom. То есть твоя функция просто некорректна.
Если ты хочешь, чтобы ошибка была в месте вызова, используй Data.Restricted, синглтоны или liquid haskell.
Исправление
hateyoufeel,
:
Он ругается на функцию, а функция правильная. Не правилен вызов.
Нет. В типе твоей функции написано, что она принимает Integer, в смысле любое значение этого типа. Но по факту, она принимает только одно значение, а для всех остальных возвращает bottom. То есть твоя функция просто некорректна.
Если ты хочешь, чтобы ошибка была в месте вызова, используй Data.Restricted или синглтоны.
Исходная версия
hateyoufeel,
:
Он ругается на функцию, а функция правильная. Не правилен вызов.
Нет. В типе твоей функции написано, что она принимает Integer, в смысле любое значение этого типа. Но по факту, она принимает только одно значение, а для всех остальных возвращает bottom. То есть твоя функция просто некорректна.