169 похожих чатов

День добрый, есть такой паттерн: data FuncType = FuncType Text Text

deriving (Eq, Ord)
data Address = Address FuncType Text

pattern Address' :: Text -> Text -> Text -> Address
pattern Address' fnamespace fnTp fid = Address (FuncType fnamespace fnTp) fid
Поменял всюду где было (Address (FuncType nm fnTp) fid) на (Address’ nm fnTp fid) в паттерн матчинге функций и компилятор начал светить ворнинги в этих местах

Pattern match(es) are non-exhaustive
In an equation for ‘sendByteMsgDelay’:
Patterns not matched:
(Address _ _)

Те я смотрю на ошибку - это же часть которая матчиться паттерном, в чем может быть проблема?

4 ответов

25 просмотров

компилятор заранее не знает, пересекается ли этот паттерн с чем-то ещё. надо явно расставлять прагму COMPLETE

компилятор умеет считать исчерпание только для ADT, но не для пользовательских образцов

https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/pragmas.html#complete-pragma

Анатолий-Кот Автор вопроса
Cheese Syrowiecki
https://downloads.haskell.org/ghc/latest/docs/html...

спасибо, поставил прагму - ворнинги пропали

Похожие вопросы

Обсуждают сегодня

У меня это всегда вопрос вызывало.. Нафига писать код так, чтобы потом ошибки вылавливать?
Nik
44
что за асемблер кста?
Shvabrikk Nya
19
всем привет. реально ли понять чем в процессе занята память? delphi/linux, процесс свой
Handatros
12
Добрый день! Пробую отловить исключение EConvertError: function _TryTextToDouble(var DoubleVar: Extended; Text: String): Boolean; begin try DoubleVar := StrToFloat...
Kirill Filippenok
19
А где @Grinyaha уважаемый пропал?
Am Ambrion
14
This automated cryptocurrency trading system uses intelligent algorithms to buy low and sell high on leading crypto exchanges. Many users have already enjoyed significant prof...
Endu Wako
1
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Сделал краткий обзор магазина из статьи и заодно там же записал инструкцию по развёртыванию. https://www.youtube.com/watch?v=8-sE1vNk95Q (чё думаете по звуку? кое-что поменял...
Andrey K
17
Привет, коллеги! Возникла задача ограничить максимальный размер вложений для определённых расширений, например, чтобы для изображений лимит был 10 МБ, а для видео — 100 МБ. Ог...
Andro
1
Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Карта сайта