Resolve refactoring #3825

Annotations

27 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’

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

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

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

‘ConPatIn’ is exported by ‘module GHC.Hs’ and ‘pattern ConPatIn’

Top-level binding with no type signature: locA :: a -> a

Top-level binding with no type signature: unLocA :: a -> a

Top-level binding with no type signature:

Pattern synonym with no type signature:

Top-level binding with no type signature:

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: