Skip to content

Object#Get Function #231

Open
raphael-goetz wants to merge 3 commits intomainfrom
230-object-get-function
Open

Object#Get Function #231
raphael-goetz wants to merge 3 commits intomainfrom
230-object-get-function

Conversation

@raphael-goetz
Copy link
Member

No description provided.

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 pull request adds a new std::object::get function to retrieve values from objects by key. The implementation follows the pattern established by other object manipulation functions in the standard library, providing generic type support for flexible value retrieval.

Changes:

  • Added std_object_get.proto.json with runtime definition for the get function
  • Updated object-audit.md to document the addition and note future type system improvements

Reviewed changes

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

File Description
definitions/standard/runtime_definition/object/std_object_get.proto.json Defines the runtime signature, parameters, return type, and metadata for the object get function
definitions/standard/runtime_definition/object/object-audit.md Documents the addition of the get function and includes a TODO note about future type signature improvements

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

raphael-goetz and others added 2 commits February 6, 2026 15:20
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Raphael Götz <52959657+raphael-goetz@users.noreply.github.com>
…proto.json

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Raphael Götz <52959657+raphael-goetz@users.noreply.github.com>
@raphael-goetz raphael-goetz marked this pull request as ready for review February 6, 2026 14:21
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.

1 participant