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

/Home/Player205/Dev/Vkpure/App/Main.Hs:59:5: error: • Ambiguous type variables ‘p2’,

‘fn1’ arising from a use of ‘!’
prevents the constraint ‘(Named.Internal.WithParam'
(Named.Internal.Decide
p2
(NamedF Identity Int "need_pts"
-> NamedF Identity Int "lp_version"
-> NamedF Maybe Int "group_id"
-> ClientM (VkResponse Server)))
p2
(NamedF Identity Int "need_pts"
-> NamedF Identity Int "lp_version"
-> NamedF Maybe Int "group_id"
-> ClientM (VkResponse Server))
fn1)’ from being solved.
(maybe you haven't applied a function to enough arguments?)
Probable fix: use a type annotation to specify what ‘p2’,
‘fn1’ should be.
These potential instances exist:
four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)’
In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)
! #lp_version (3 :: Int)’
In the second argument of ‘($)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)
! #lp_version (3 :: Int)
! #group_id (Nothing :: Maybe Int)’
|
59 | ! #need_pts (0 :: Int)
| ^

/home/player205/dev/vkpure/app/Main.hs:59:7: error:
• Overlapping instances for GHC.OverloadedLabels.IsLabel
"need_pts" (Int -> Named.Internal.Param p2)
arising from the overloaded label ‘#need_pts’
Matching instances:
instance forall k1 k2 k3 (capital :: Bool)
(name :: ghc-prim-0.7.0:GHC.Types.Symbol) (p :: k1 -> k2 -> *)
(f :: k3 -> k2) (s :: k1) (t :: k3) (a :: k1) (b :: k3) pafb psft.
(capital ~ Data.Generics.Labels.BeginsWithCapital name,
Data.Generics.Labels.IsLabelHelper capital name p f s t a b,
pafb ~ p a (f b), psft ~ p s (f t)) =>
GHC.OverloadedLabels.IsLabel name (pafb -> psft)
-- Defined in ‘Data.Generics.Labels’
...plus one instance involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the expression: #need_pts
In the second argument of ‘(!)’, namely ‘#need_pts (0 :: Int)’
In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)’
|
59 | ! #need_pts (0 :: Int)
| ^^^^^^^^^

7 ответов

8 просмотров

а проблема тут не в неймед, а в линзах

кана
а проблема тут не в неймед, а в линзах

У нас record-dot-prepocessor недавно умер, когда мы другую либу для неймед брали

Strange Rabbit
screenshot всё равно воняет

отключай drf тогда

кана
отключай drf тогда

убрал глобально, оставил в одном файле, где нужно - неа, не робит

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

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

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
70
Хотел бы спросить у знающих, правильную ли я выбрал книгу для начала изучения ассемблера Юрова В.И ? Или есть более лучшие книги для начала обучения?
Botsman
25
Книга Юрова В.И пойдёт для обучения?
Botsman
24
Люди добрые, помогите с идеями, потому что свои закончились. У клиента падает софтина в момент инициализации модуля OtlEventMonitor на RegisterWindowMessage('Gp/OtlTaskEvents/...
Михаил Усков
7
$params = [ 'formid' => 'feedbackForm', 'formTpl' => '@CODE: <form class="form-validate" data-id="ajax_form"> <fieldset class="margin-bottom-md"> ...
Pathologic
1
> Примечательно, что новый владелец удаляет из GitHub любые жалобы, указывающие на подозрительную активность или смену владельца, и, видимо, рассчитывает на то, что пользовате...
Alex Sherbakov
2
GridView fully ignored first parent(SizedBox), and take width from second parent(Container). How can I constrain GridView by first parent? Widget build(BuildContext context) {...
Hamster
1
Hey there Which is the best Linux destro for developers (coding)? To my research on reddit, they said Linux mint is good for mid level spec and Ubuntu for high Lev hardwar...
Wiz 🪄
11
И ещё вопрос: можно ли типа как на дос как-то запариться и с помощью прерываний выводить текст, вместо функции printf ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
34
а мы ещё не созрели до того, чтобы создать отдельный чатик про настройку редакторов?
Cheese Syrowiecki
16
Карта сайта