IntersectMBO / IntersectMBO/cardano-ledger
Remove cross-era nested definitions of predicate failures
Open
:credit_card: technical-debt
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
There are a few places in pre-Conway eras, where a predicate failure type wraps the the predicate failure from the same rule but from the prior era, eg
https://github.com/IntersectMBO/cardano-ledger/blob/eb123e6035b9cf2f195be9df64e89115c6155a39/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs#L111
This needs to be fixed for all pre-Conway eras.
* [ ] - First part of the ticket is two identify all those cases
* [ ] - Second part is two inline all those predicate failures, like it is done in Conway.
Contributor guide
Assessment
This issue has not been assessed yet.