При использовании GHCi я хотел бы знать, как использовать параметр -Wall
при загрузке (повторной) из приглашения.
Например, в разделе 3.3 Советы по программированию Haskell Пример с защитой выглядит следующим образом:
-- Bad implementation:
fac :: Integer -> Integer
fac n | n == 0 = 1
| n /= 0 = n * fac (n-1)
-- Slightly improved implementation:
fac :: Integer -> Integer
fac n | n == 0 = 1
| otherwise = n * fac (n-1)
В нем говорится: "Первая проблема заключается в том, что компилятору почти невозможно проверить, являются ли такие стражи исчерпывающими, поскольку условия защиты могут быть произвольно сложными (GHC предупредит вас, если вы используете опцию -Wall).
Я знаю, что могу набрать ghci -Wall some_file.hs
из командной строки, но однажды в подсказке я не уверен, как проверить предупреждения, если я хочу перезагрузить.
Кажется, я не могу найти ответ, пытаясь сделать это в Google!
Спасибо заранее!