[GHC] #15456: (ImplicitParams) Allow ? in binding patterns
#15456: (ImplicitParams) Allow ? in binding patterns -------------------------------------+------------------------------------- Reporter: Welperooni | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple ImplicitParams | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This is mostly useful when dealing with ImplicitParams. Suppose "foo" takes an implicit parameter "?msg" {{{#!hs -- 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 {{{#!hs bar msg = let ?msg = msg in foo \msg -> let ?msg = msg in foo bar ( ... -> msg) = let ?msg = msg in foo }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15456 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15456: (ImplicitParams) Allow ? in binding patterns -------------------------------------+------------------------------------- Reporter: Welperooni | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | ImplicitParams, patterns Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Welperooni): * keywords: ImplicitParams => ImplicitParams, patterns -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15456#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15456: (ImplicitParams) Allow ? in binding patterns -------------------------------------+------------------------------------- Reporter: Welperooni | Owner: (none) Type: feature request | Status: closed Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: invalid | Keywords: | ImplicitParams, patterns Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => invalid Comment: 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15456#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15456: (ImplicitParams) Allow ? in binding patterns -------------------------------------+------------------------------------- Reporter: Welperooni | Owner: (none) Type: feature request | Status: closed Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: invalid | Keywords: | ImplicitParams, patterns Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13451 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #13451 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15456#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC