Fix #3574 and support resolve in explicit records #8662

Annotations

10 warnings

Pattern synonym with no type signature:

Pattern match(es) are non-exhaustive

Defined but not used: ‘x’

Pattern match(es) are non-exhaustive

The import of ‘Development.IDE.Graph.Classes’ is redundant

Top-level binding with no type signature:

The import of ‘Control.Concurrent’ is redundant

‘defaultFixity’ is exported by ‘module BasicTypes’ and ‘defaultFixity’

‘mkVisFunTys’ is exported by ‘module TcType’ and ‘mkVisFunTys’