Skip to content

Conversation

@aibaars
Copy link
Contributor

@aibaars aibaars commented Apr 30, 2025

This pull request adds extraction of declarations of built-in types.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Apr 30, 2025
@aibaars aibaars force-pushed the aibaars/rust-builtin-types branch from 21aab9e to c4aa719 Compare April 30, 2025 11:26
@aibaars aibaars marked this pull request as ready for review April 30, 2025 11:40
Copilot AI review requested due to automatic review settings April 30, 2025 11:40
@aibaars aibaars requested a review from a team as a code owner April 30, 2025 11:40
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR implements the extraction of built-in type declarations in Rust and updates related build configurations and the extractor.

  • Added a new file (types.rs) with declarations for built-in types.
  • Updated Bazel BUILD files to include the new builtins sources.
  • Extended the extractor to process the builtins directory during extraction.

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 2 comments.

File Description
rust/tools/builtins/types.rs Added declarations for built-in types.
rust/tools/builtins/BUILD.bazel Defined a Bazel target for built-ins sources.
rust/extractor/src/main.rs Enhanced extractor to include builtins in extraction.
rust/BUILD.bazel Updated tools file group to reference built-ins.

@aibaars aibaars force-pushed the aibaars/rust-builtin-types branch 4 times, most recently from 050f949 to 371e519 Compare May 1, 2025 09:18
@aibaars aibaars force-pushed the aibaars/rust-builtin-types branch from 371e519 to 8e8efed Compare May 1, 2025 13:21
Copy link
Contributor

@hvitved hvitved left a comment

Choose a reason for hiding this comment

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

Thanks for doing this.

@hvitved hvitved merged commit 07829e5 into main May 2, 2025
16 checks passed
@hvitved hvitved deleted the aibaars/rust-builtin-types branch May 2, 2025 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants