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 ответов

33 просмотра

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

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

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

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

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Карта сайта