fir-0.1.0.0: test/Tests/Optics/Overlapping.golden
test/Tests/Optics/Overlapping.hs:33:5: error: [GHC-64725]
• Cannot create product setter at type:
Struct ["field_0" ':-> Float, "field_1" ':-> Bool]
Overlap between optics
- Name "field_0",
- Index 0,
at index 0.
• In a stmt of a 'do' block:
assign
@(Name "struct"
:.:
(Prod (Name "field_0"
:*: Index 0 :*: EndProd) :: Optic '[] MyStruct OtherStruct))
(Lit (4 :& 5 :& End))
In the third argument of ‘entryPoint’, namely
‘do def @"struct" @RW @MyStruct (Lit (3 :& True :& End))
assign
@(Name "struct"
:.:
(Prod (Name "field_0"
:*: Index 0 :*: EndProd) :: Optic '[] MyStruct OtherStruct))
(Lit (4 :& 5 :& End))’
In a stmt of a 'do' block:
entryPoint
@"main" @Vertex
do def @"struct" @RW @MyStruct (Lit (3 :& True :& End))
assign
@(Name "struct"
:.:
(Prod (Name "field_0"
:*: Index 0 :*: EndProd) :: Optic '[] MyStruct OtherStruct))
(Lit (4 :& 5 :& End))
|
33 | assign
| ^^^^^^