“Result signatures are no longer supported in pattern matches” lost

This commit (b98ff25f) from two years ago broke the error message (at least according to when T2310.stderr was modified):

T2310.hs:5:22:
    Illegal result type signature ‘a’
      Result signatures are no longer supported in pattern matches
    In a lambda abstraction: \ x :: a -> (x :: a)

that was displayed previously.

Either we do want that error message (then this is a bug) or we don’t care about this error message any more, then probably we can remove the m_type field of Match in HsExpr.

Trac metadata

Trac field	Value
Version	8.2.1
Type	Task
TypeOfFailure	OtherFailure
Priority	low
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture