[GHC] #10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: | Owner: mfdyck.google | Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Core | Version: 7.10.2 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Add default definitions of left, right in terms of (+++) to let one define an ArrowChoice instance in terms of (+++) rather than left, which is sometimes more elegant or convenient. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by mfdyck.google): Patch written; awaiting its release -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by mfdyck.google): * Attachment "0001-unbreak-Text.Read.Lex.lex.patch" added. Behave as GHC lexer -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by mfdyck.google): Whoops, sorry, wrong patch -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by mfdyck.google): * Attachment "0001-Allow-left-as-minimal-definition-of-ArrowChoice- inst.patch" added. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: patch Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by mfdyck.google): * status: new => patch -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: patch Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ekmett): Sounds good to me. We just accepted a similar patch to the main `Arrow` type. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: patch Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ekmett): The MINIMAL pragma would also be affected. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance
-------------------------------------+-------------------------------------
Reporter: mfdyck.google | Owner:
Type: bug | Status: patch
Priority: normal | Milestone: 8.0.1
Component: Core Libraries | Version: 7.10.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Austin Seipp
#10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance -------------------------------------+------------------------------------- Reporter: mfdyck.google | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.2 Resolution: fixed | Keywords: 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 thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Merged, thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10911#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC