feat: emit ABI JSON from edgec#32
Merged
Merged
Conversation
✅ Deploy Preview for edgelang ready!
To edit notification comments on pull requests, go to your Netlify project configuration. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This implements issue #28 end to end. The edge-rs compiler can now produce ABI JSON alongside EVM bytecode, which is the foundational prerequisite for Foundry integration.
The ABI types are defined in a new crates/typeck/src/abi.rs module. AbiEntry is an enum covering function and event entries, each with the correct field names and serde serialization to match the Ethereum ABI specification. StateMutability is derived from the is_mut flag on each function declaration, which required threading that field through FnInfo. Events were not previously tracked past the parser; CheckedProgram now collects all top-level EventDecl nodes from the program so they can be included in the ABI.
A new EmitKind::Abi variant short-circuits compilation after the type-checking pass, skipping IR lowering and codegen entirely since no bytecode is needed to produce an ABI. CompileOutput gains an abi field populated for both the Abi and Bytecode emit paths. The edgec CLI wires this through --emit abi and prints the result with serde_json::to_string_pretty.
Four tests in crates/typeck/tests/abi.rs cover the counter and erc20 examples, verifying function counts, stateMutability values, event presence and indexed field flags, and valid JSON serialization. All workspace tests pass.
Closes #28.