
Not sure what version of ghcide I'm on...
Reproduced with lastest hls and ghcide (although i got only 2 duplicates)
It suggests one for each record field (my record has only two), in the problems pane:
Illegal use of punning for field ‘a’
Use NamedFieldPuns to permit this
Illegal use of punning for field ‘b’
Use NamedFieldPuns to permit this
I can take a look at this issue. Any good place to start?
@gdevanla I think the code that trigger extension completion will be:
Not known much about it though, it comes from the time where this was part of daml, according to blame.