Вопросы из теста: "Non-exhaustive patterns in function"

@Nikita2627 · Регистрация: 18.11.2018

Author24 — интернет-сервис помощи студентам

Добрый день, может кто помочь с вопросами из теста по Хаскелу.

1.О чем свидетельствует ошибка "Non-exhaustive patterns in function"?

2.Можно ли обнаружить ошибку "Non-exhaustive patterns in function" при компиляции?

@Catstail · 05.06.2021, 12:54

Первая свидетельствует о том, что аргумент функции не удовлетворяет ни одному шаблону (или охранному выражению). Пример:

Haskell

1 2	foo x \| x `mod` 2==0 = 7 main = print $ foo 18

Успешно компилируется и, естественно, выдает 7. А вот это:

Haskell

1 2	foo x \| x `mod` 2==0 = 7 main = print $ foo 19

тоже компилируется, но выдает как раз то самое:

a.out: main.hs:10:1-24: Non-exhaustive patterns in function foo

Как видно из приведенного выше, компилятор это не отлавливает...

@Curry · 05.06.2021, 13:08

Сообщение от Catstail

компилятор это не отлавливает

Отлавливает если включить большинство предупреждений.
Или в командной строке ключ -Wall, или его же в файле имя_проекта.cabal, к примеру, у меня в тестовом проекте

Haskell

executable tst2
  hs-source-dirs:      src
  main-is:             Main.hs
  default-language:    Haskell2010
  ghc-options: -Wall -Wname-shadowing -fwarn-tabs

-Wall включает не все предупреждения, что мне надо. Ещё я включил предупреждения о затенении имени и о наличии знака табуляции в исходной файле. Я обычно использую такое сочетание ключей предупреждений.

Тогда компилятор выдаёт

Haskell

    Pattern match(es) are non-exhaustive
    In an equation for `foo': Patterns not matched: _
  |
1 | foo x | x `mod` 2==0 = 7
  | ^^^^^^^^^^^^^^^^^^^^^^^^

@Catstail · 05.06.2021, 13:13

Curry, о, спасибо!

@Nikita2627 0 / 0 / 0 Регистрация: 18.11.2018 Сообщений: 26
		1
	Вопросы из теста: "Non-exhaustive patterns in function" 05.06.2021, 09:07. Показов 1445. Ответов 3 Метки haskell (Все метки) Добрый день, может кто помочь с вопросами из теста по Хаскелу. 1.О чем свидетельствует ошибка "Non-exhaustive patterns in function"? 2.Можно ли обнаружить ошибку "Non-exhaustive patterns in function" при компиляции? 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,639 Записей в блоге: 13
	05.06.2021, 13:13	4
	Curry, о, спасибо! 0