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

Вопрос. Происходит странное. Не делаю инстанс - говорит не могу

найти инстанс. Делаю - находит сразу три. Как это?

Вот ошибка с тремя:

• Overlapping instances for Submap
(FieldsTypesMap a) (FieldsTypesMap a :++ FieldsTypesMap b)
arising from a use of ‘submap’
Matching instances:
instance (x ~ (a :++ b)) => Submap a x
-- Defined at src/Servant/Record.hs:17:10
...plus two instances involving out-of-scope types
instance [overlap ok] [safe] Submap s t => Submap (x : s) (x : t)
-- Defined in ‘Data.Type.Map’
instance [overlappable] [safe] Submap s t => Submap s (x : t)
-- Defined in ‘Data.Type.Map’
(The choice depends on the instantiation of ‘a, b’
and the result of evaluating ‘FieldsTypesMap, FieldsTypesMap, :++’
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)

Мой инстанс использует хак с x ~ (a :++ b)) из-за этой ошибки https://stackoverflow.com/questions/45360959/illegal-type-synonym-family-application-in-instance-with-functional-dependency

5 ответов

31 просмотр

Когда матчатся инстансы, то для выбора смотрится только на голову (head) правая часть от =>, а после выбора проверяется, что левая подходит и fallback не происходит. Чтобы это обойти есть два пути: 1. По Олегу, добавлять ещё один параметр для матчинга (иногда помогает вспомогательный класс) 2. Overlapping instances, но там надо внимательно смотреть в каких случаях компилятор может выбрать и кажется тут не такой

isnullxbh
Извините, а что значит "по Олегу"?

Олег Киселев, достаточно известный исследователь, у которого много статей, любитель FunctionDependencies, автор многих идей, но именно на уровне идей и proof of concept. Про него футболка-мем Oleg has already invented that

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

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

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Всем привет! Кто пользуется DevExpress, подскажите пожалуйста, реализован ли в TcxGrid в новых версиях поиск по датам как в Экселе (ну т.е. не просто список чекбоксов со значе...
A Z
4
Карта сайта