Skip to content

Add Plinth parsed-AST deriving plugin to plutus-tx-plugin #7818

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

Draft
Icelandjack wants to merge 13 commits into
base: master
Choose a base branch
from
+2,477 −6
Draft

Add Plinth parsed-AST deriving plugin to plutus-tx-plugin #7818

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
a47be0e
Add Plinth parsed-AST deriving plugin to plutus-tx-plugin
Icelandjack Jun 16, 2026
9305ef8
Conform PlinthPlugin modules to plutus -Wall -Werror
Icelandjack Jun 16, 2026
e954cb9
Make -Wno-x-partial pragma 9.6-safe
Icelandjack Jun 16, 2026
924edde
Fix 9.6 overlapping-patterns + unused Hsc import in Type.Type
Icelandjack Jun 16, 2026
e08071f
Add activation test for the PlinthPlugin deriving plugin
Icelandjack Jun 16, 2026
b8faa4d
Suppress generated-code warnings in the PlinthPlugin test
Icelandjack Jun 16, 2026
067f419
Fold the Plinth deriving pass into Plinth.Plugin; move to PlutusTx.Pl…
Icelandjack Jun 18, 2026
a43cf59
Simplify deriving pass per review: Bool matcher, drop Config/Flag/Opt…
Icelandjack Jun 18, 2026
a03a6ac
Generate top-level signatures for AsData pattern synonyms
Icelandjack Jun 18, 2026
3e20137
Generate explicit arg matches instead of head/tail in AsData decoders
Icelandjack Jun 18, 2026
0485a83
Generate explicit arg matches in Match decoder; add Match activation …
Icelandjack Jun 18, 2026
0cbddc3
Fix Match result type variable namespace (r not in scope)
Icelandjack Jun 18, 2026
f40105d
Re-trigger CI (flaky uplc-evaluator-integration-tests, SIGTERM)
Icelandjack Jun 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions plutus-tx-plugin/changelog.d/20260616_plinth_deriving_plugin.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
### Added

- Added the Plinth parsed-AST deriving plugin (`PlinthPlugin`). It generates
`AsData` pattern synonyms, `Optics` prisms, and `Match` functions from data
declarations written with `deriving … via PlinthPlugin`. The sentinel lives
in `PlinthPlugin.Via` (`data Via = PlinthPlugin`).
20 changes: 20 additions & 0 deletions plutus-tx-plugin/plutus-tx-plugin.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,11 +56,27 @@ library
hs-source-dirs: src
exposed-modules:
Plinth.Plugin
PlinthPlugin
PlinthPlugin.Via
PlutusTx.Compiler.Error
PlutusTx.Options
PlutusTx.Plugin.Common

other-modules:
Paths_plutus_tx_plugin
PlinthPlugin.Constant.Module
PlinthPlugin.Generator.AsData
PlinthPlugin.Generator.Common
PlinthPlugin.Generator.Match
PlinthPlugin.Generator.Optics
PlinthPlugin.Hs
PlinthPlugin.Hsc
PlinthPlugin.Options
PlinthPlugin.Type.Config
PlinthPlugin.Type.Constructor
PlinthPlugin.Type.Field
PlinthPlugin.Type.Flag
PlinthPlugin.Type.Type

@hsyl20 hsyl20 Jun 18, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

I'd move these into PlutusTx.Plugin.Deriving.* or something like this

PlutusTx.Compiler.Binders
PlutusTx.Compiler.Builtins
PlutusTx.Compiler.Compat
Expand All @@ -77,6 +93,8 @@ library
PlutusTx.Plugin.Boilerplate
PlutusTx.Plugin.Unsupported

autogen-modules: Paths_plutus_tx_plugin

build-depends:
, array
, base >=4.9 && <5
Expand Down Expand Up @@ -242,6 +260,7 @@ test-suite frontend-plugin-tests
hs-source-dirs: test-frontend-plugin
main-is: Spec.hs
other-modules:
AsData.Spec
Inlineable.Lib
Inlineable.Spec
NoStrict.Spec
Expand All @@ -254,6 +273,7 @@ test-suite frontend-plugin-tests
, plutus-tx-plugin ^>=1.65
, plutus-tx:plutus-tx-testlib
, tasty
, tasty-hunit

ghc-options: -threaded -rtsopts -with-rtsopts=-N

Expand Down
Loading