Make BranchList simpler
As Adam Gundry suggested, BranchList could be made much simpler by actually storing a list in the Branched case.
Though, as I'm thinking about it, what's better about a real list over a BranchList? We're more familiar with it... but perhaps adding a Foldable instance for BranchList would solve the problem.
In any case, this ticket is to record the desire for improvement. If Adam is up to it, he may fix this with D841. Otherwise, I'll get to it.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.11 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |