IntersectMBO / IntersectMBO/cardano-ledger

Remove cross-era nested definitions of predicate failures

Open
#5,299 0 comments 0 reactions 1 assignee Claimed by @teodanciu View on GitHub
: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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.