AV
А с какой версии появилась возможность не генерировать геттеры по полям структуры?
Size: a a a
2020 May 22
MK
ни с какой
AV
AV
Лучше бы запилили, полезная штука в отличии от кривого record dot
AA
чтобы складывать значения нужен type class Num, его нет, он предлагает добавить констрейнт
это понятно, не понятно вот это предложение по улучшению текста ошибки где почему-то ненахождение инстанса какое-то
AV
там было написано:
foo :: a-> a -> a
foo a b = a + b
AV
На это ошибка
AV
Но мне кажется, что в текущей информации не меньше
• No instance for (Num a) arising from a use of ‘+’
Possible fix:
add (Num a) to the context of
the type signature for:
goo :: forall a. a -> a -> a
• In the expression: a + b
In an equation for ‘goo’: goo a b = a + b
AV
Т.е. вся необходимая информаця есть, и нет лишнего
AV
Если выносить много мусора в ошибки их никто не будет читать
AV
Новичкам это тоже не поможет
AV
Лучше --explain error.id запилить как в расте
AA
тут даже не в этом проблема, а в том что объяснение он предлагает неправильное
AV
Оно слишком длинное, я не прочитал ^_^
AA
• An instance 'Num a' is required by the use of '+', but no instance was found.
AV
я затрудняюсь сформулировать почему это неправильно или как сильно лучше сказать
AA
вместо инстанс - констрейнт, вместо не найден - не написан
чтоб этот код тайпчекнуть и даже скомпилировать никакой инстанс искать и находить не нужно
чтоб этот код тайпчекнуть и даже скомпилировать никакой инстанс искать и находить не нужно
AV
логично