Skip to content
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

integrating Plutus in Ledger code #2127

Merged
merged 3 commits into from
Feb 17, 2021
Merged

Conversation

TimSheard
Copy link
Contributor

Jared, Alex and I, have gotten the Plutus package to compile with the Ledger code.
This required adjusting some nix-files, some cabal files, and altering the version requirements
of some of the dependencies.

To demonstrate this capability, I have integrated Language.PlutusTx.Data into Cardano.Alonzo.Data.
Wrote some instances, a pretty printer, and an Arbitrary instance. This might be a good place
to push back to master, as the changes touch very few files.

All seems to be working, except when I try to run the ormolise script, where I get this error message. Probably we did something bad to the nix files.

cabal.project Outdated Show resolved Hide resolved
Copy link
Contributor

@JaredCorduan JaredCorduan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me!

Copy link
Contributor

@nc6 nc6 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

alonzo/impl/src/Cardano/Ledger/Alonzo/Data.hs Outdated Show resolved Hide resolved
Jared Corduan and others added 2 commits February 16, 2021 14:21
Added NoThunks, ToCBOR, FromCBOR and Arbitrary instances.
wrote a Pretty Printer, and ran all the serializations tests.
Added a few useful Coders library functions for decoding Annotators for Lists and Sets
@JaredCorduan JaredCorduan changed the title WIP integrating Plutus in Ledger code integrating Plutus in Ledger code Feb 16, 2021
@JaredCorduan JaredCorduan merged commit 0a8759e into master Feb 17, 2021
@iohk-bors iohk-bors bot deleted the jc/import-plutus-ledger-api branch February 17, 2021 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants