Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Is there some way to make inference use field types in case of bindings used by RecordWildCards? E.g. in
RecordWildCards
foo = Bar{..} where baz = _
I would like to see type of baz field in place of hole, not ambiguous variable
baz
Is there some way to make inference use field types in case of bindings used by
RecordWildCards
? E.g. inI would like to see type of
baz
field in place of hole, not ambiguous variable