MK
и forall r. туда не дают вписать
Size: a a a
2020 July 15
MK
это можно как-то обойти?
IR
а мне говорят нельзя
почему?
MK
почему?
not in scope type variable r
MK
λ> type family Foo (m :: Type -> Type) :: Constraint
λ> type instance Foo m = (MonadReader r m)
<interactive>:17:36: error: Not in scope: type variable ‘r’IR
ну он и правда not in scope
MK
даже блин QuantifiedConstraints не помогают
MK
зачем их вообще придумали тогда
L
Никак не ускорить, плагин через стек первый раз билдит проект и качает сорцы либ
Можно хотя бы изначально указать ему резолвер 15.3 через его настройки в идее?
Обходной вариант я уже нашёл: скафолдить проект вручную через stack new и вручную править stack.yaml перед открытием в идее
Подскажите сразу, если есть что попроще.
Обходной вариант я уже нашёл: скафолдить проект вручную через stack new и вручную править stack.yaml перед открытием в идее
Подскажите сразу, если есть что попроще.
MK
надо было тогда всё с самого начала на фандепах делать блин
IR
надо было тогда всё с самого начала на фандепах делать блин
но они же прокляты?
MK
но мтл на них
MK
вот с mtl-tf у меня бы не было такой проблемы наверное
MK
но раз мой код на тф, а я прикручиваю его к коду с фандепами, то страдаю
MK
Гранин, ты рад?
YS
mtl который либа?
D
Можно хотя бы изначально указать ему резолвер 15.3 через его настройки в идее?
Обходной вариант я уже нашёл: скафолдить проект вручную через stack new и вручную править stack.yaml перед открытием в идее
Подскажите сразу, если есть что попроще.
Обходной вариант я уже нашёл: скафолдить проект вручную через stack new и вручную править stack.yaml перед открытием в идее
Подскажите сразу, если есть что попроще.
Не-а, вроде
Можно на гитхабе завести ишью
Можно на гитхабе завести ишью
IR
mtl который либа?
а какой ещё?
MK
mtl который либа?
да
YS
а какой ещё?
ну который "общий подход")