New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Complete EraScript
hierarchy with missing classes
#4316
Conversation
608da35
to
e9c20a6
Compare
e9c20a6
to
0118714
Compare
EraScript
hierarchy with missing classes
3d3d1e6
to
1c13467
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is looking great!
eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Arbitrary.hs
Outdated
Show resolved
Hide resolved
ba2b044
to
f5a1251
Compare
5818c4b
to
3a2379f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There are quite a few places in testing where redundant constraint was specified (eg. NativeScript era ~ Timelock era
). Such constraints are only really needed for creating class instances or whenever we need to enforce equality, like in validateMultiSig
Aside from that it looks great! Thank you!
eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/MultiSigExamples.hs
Outdated
Show resolved
Hide resolved
eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/MultiSigExamples.hs
Outdated
Show resolved
Hide resolved
eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/MultiSigExamples.hs
Outdated
Show resolved
Hide resolved
eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/MultiSigExamples.hs
Outdated
Show resolved
Hide resolved
eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/MultiSigExamples.hs
Outdated
Show resolved
Hide resolved
eras/shelley-ma/test-suite/src/Test/Cardano/Ledger/AllegraEraGen.hs
Outdated
Show resolved
Hide resolved
eras/shelley-ma/test-suite/src/Test/Cardano/Ledger/AllegraEraGen.hs
Outdated
Show resolved
Hide resolved
eras/shelley-ma/test-suite/src/Test/Cardano/Ledger/AllegraEraGen.hs
Outdated
Show resolved
Hide resolved
eras/shelley-ma/test-suite/src/Test/Cardano/Ledger/Allegra/Examples/Consensus.hs
Outdated
Show resolved
Hide resolved
Replace era-specific patterns with new ones, constrained by the new EraScript classes, that build and access `NativeScript` instead of concrete types
3a2379f
to
eda7693
Compare
Description
Checklist
.cabal
andCHANGELOG.md
files according to theversioning process.
.cabal
files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)CHANGELOG.md
for the affected packages. New section is never added with the code changes. (See RELEASING.md)fourmolu
(usescripts/fourmolize.sh
)scripts/cabal-format.sh
)hie.yaml
has been updated (usescripts/gen-hie.sh
)