Skip to content

Plutarch support #123

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 40 commits into from
Nov 8, 2023
Merged

Plutarch support #123

merged 40 commits into from
Nov 8, 2023

Conversation

bladyjoker
Copy link
Contributor

@bladyjoker bladyjoker commented Oct 24, 2023 •
edited
Loading

DONE

  • Type def mapping
  • Plutus configuration
  • Prelude configuration
  • lbg gen-plutarch cli
  • LamVal printing
  • lbr-plutarch runtime
  • lbt-plutus-plutarch testsuite
  • nix develope .#dev-plutarch
  • User documentation

TODO

  • Prelude types should have PlutusData instances, which some of them do, but for the ones missing implement it and update the tests.
  • V1.TxOut type in not in the goldens for some reason, fix it.
  • Open an issue in Plutarch about the stuff we needed to implement (ptryfrom, maybe and either etc)
  • Plutarch has issues with recursive types, figure it out

@bladyjoker bladyjoker self-assigned this Oct 24, 2023
@bladyjoker bladyjoker added enhancement New feature or request catalyst codegen testing Anything with tests runtime labels Oct 24, 2023
@bladyjoker bladyjoker linked an issue Oct 24, 2023 that may be closed by this pull request
Support Plutarch #107
Closed
4 tasks
@bladyjoker
Implements opaque printing and adds more docs
478a4fe
@bladyjoker
Add the Plutarch Prelude and Plutus configurations (DRAFT)
1aec8a0
@bladyjoker
Implements the lbg gen-plutarch command
25a883e
@bladyjoker
Scaffolds lbr-plutarch
691d1ba
@bladyjoker
Drafts LamVal builtins
736f627
@bladyjoker
LamVal implementation first draft complete
3542d6c
@bladyjoker
Rewiring Haskell codegen to accomodate for Plutarch
83cd2f7
@bladyjoker
Nix wiring for Plutarch backend, lbr-plutarch tweaks, config, ty defs…
318ee02 
… works
@bladyjoker
Arrgh, figuring out how lbg cli is wired through nix -.-
d50fba7
@bladyjoker
Removes non-existing lbr-plutarch:tests
0026ee5
@bladyjoker
The same for purs -.-
fafe544
@bladyjoker
Adds the lbt-plutarch testsuite
a4bdf24
@bladyjoker
Fixes the empty languageExtensions case
9fe2018
@bladyjoker
Adds missing codegen module
9eab203
@bladyjoker
Implements the test for Plutarch's LamVal interpretations and fixes
a0a37ea
@bladyjoker
Fix data-stanza
c6db934
@bladyjoker
Some more tests and fixes
e787062
@bladyjoker
PlutusType derivation seems to work wooot woooot, so much hacking
f80a2ef
@bladyjoker
WIP
71fca33
@bladyjoker
Seems like PTryFrom works, now there's missing PTryFrom instances for…
5362ecc 
… pla types
@bladyjoker
It compileeeeeeees!!!
9eae684
jaredponn
jaredponn approved these changes Nov 6, 2023
View reviewed changes
Copy link
Contributor

@jaredponn jaredponn left a comment

Choose a reason for hiding this comment

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

Some wording suggestions for the documentation -- completely up to you though!

@bladyjoker
Copy link
Contributor Author

Merging this @szg251 and @jaredponn as I am out of will power :D But all in all good!

@bladyjoker bladyjoker added this pull request to the merge queue Nov 8, 2023
Merged via the queue into main with commit 2b5e609 Nov 8, 2023
@bladyjoker bladyjoker deleted the bladyjoker/plutarch branch November 8, 2023 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@jaredponn jaredponn jaredponn approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees

@bladyjoker bladyjoker

Labels
catalyst codegen enhancement New feature or request runtime testing Anything with tests
Projects
Lambda Buffers
Status: Done
Milestone
Catalyst milestone 4: Project adoption
Development

Successfully merging this pull request may close these issues.

Support Plutarch
2 participants
@bladyjoker @jaredponn