(ImplicitParams) Allow ? in binding patterns

This is mostly useful when dealing with ImplicitParams. Suppose "foo" takes an implicit parameter "?msg"

-- Invalid, parse error in pattern ?msg
bar ?msg = foo
\?msg -> foo

-- With -XViewPatterns, same issue
bar ( ... -> ?msg) = foo

Instead, you are forced to create a local let binding

bar msg = let ?msg = msg in foo
\msg -> let ?msg = msg in foo

bar ( ... -> msg) = let ?msg = msg in foo

Trac metadata

Trac field	Value
Version	8.4.3
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

mentioned in issue #13451 (closed)

changed milestone to %8.6.1

changed weight to 5

added Tfeature request Trac import labels

closed

This is a worthwhile idea to consider, but it should really go via the https://github.com/ghc-proposals/ghc-proposals process, as it's a user-facing language change.

I'm closing this ticket as invalid, but I really do encourage you to post a proposal. That process is working well and has incorporated quite a few changes into the language.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

Trac metadata

Trac field	Value
Related	- → #13451 (closed)

added ImplicitParams label

added Pnormal label