АК
Size: a a a
2021 March 06
АК
пишет Not in scope: type variable ‘b’, хотя в определении функции b присутствует
YS
ScopedTypesVariables
YS
Расширение
АК
включено
АК
а, понял в чем проблема - нужно было явный forall добавить\
YS
Да, форолл ещё нужно было)
VB
Подскажите, я где-то в синтаксисе ошибся?
VB
[typecheck] [E] Multiple declarations of id
Телеграм съел качество
Телеграм съел качество
TZ
id - библиотечная функция, импортируется неявно в Prelude
TZ
Так что либо спрятать этот импорт, либо переименовать поле вашего рекорда
TZ
import Prelude hiding (id)
VB
Спасибо большое
VB
Но почему тогда в первых двух вариантах работает без ошибки?
TZ
А вы уверены, что там нет ошибки?
TZ
Компилятор будет недоволен на любой конфликт имён
TZ
Плюс - без дополнительных ухищрений (расширений) вы не сможете объявить в одном модуле в двух разных рекордах поля с одинаковыми именами
TZ
Так как по имени поля в рекорде сгенерится функция-геттер
VB
Плюс - без дополнительных ухищрений (расширений) вы не сможете объявить в одном модуле в двух разных рекордах поля с одинаковыми именами
Странно, возможно я упустил это в главе с рекордами, так как не помню описания подобного поведения.
Спасибо, я пойду читать/пробовать дальше
Спасибо, я пойду читать/пробовать дальше
TZ
Ещё можно почитать про расширение DuplicateRecordFields