“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

changed weight to 3

added Ttask Trac import labels

Yes. See also #2310 (closed) (9 yrs ago) in which result type signatures are not supported.

Let's kill off m_type entirely. Can you do that or shall I?

assigned to @nomeata

I’ll give it a shot.

Trac metadata

Trac field	Value
Differential revisions	- → D4066

mentioned in commit d8d87fa2

closed

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

added Plow label