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