Opened 3 years ago
Closed 3 years ago
#10911 closed bug (fixed)
Allow left ∨ (+++) as minimal definition of ArrowChoice instance
Reported by: | mfdyck.google | Owned by: | |
---|---|---|---|
Priority: | normal | Milestone: | 8.0.1 |
Component: | Core Libraries | Version: | 7.10.2 |
Keywords: | Cc: | ekmett | |
Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
Type of failure: | None/Unknown | Test Case: | |
Blocked By: | Blocking: | ||
Related Tickets: | Differential Rev(s): | ||
Wiki Page: |
Description
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.
Attachments (2)
Change History (9)
comment:1 Changed 3 years ago by
Changed 3 years ago by
Attachment: | 0001-Allow-left-as-minimal-definition-of-ArrowChoice-inst.patch added |
---|
comment:3 Changed 3 years ago by
Status: | new → patch |
---|
comment:4 Changed 3 years ago by
Sounds good to me. We just accepted a similar patch to the main Arrow
type.
Note: See
TracTickets for help on using
tickets.
Patch written; awaiting its release