IntersectMBO / IntersectMBO/ouroboros-consensus
InvalidRollForward exception should be unreachable
Open
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
While reviewing PR input-output-hk/ouroboros-network#773 for Issue input-output-hk/ouroboros-network#231, @nc6 observed and I agreed that a `ForkTooDeep` exception should be raised prior to the mini protocol reaching a state where `InvalidRollForward` could be raised. PR input-output-hk/ouroboros-network#773 introduces `InvalidRollForward`, because otherwise the `RealPBFT` tests fail. We're merging with this Issue as a follow-up obligation.
Contributor guide
Assessment
This issue has not been assessed yet.