Skip to content
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.

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

chore(stdlib)!: Switch to using records for getInternalStats #1898

Merged

Conversation

spotandjake
Copy link
Member

This cleans up some todos left over from #190 being closed, and switches getInternalStats from returning a tuple to a record.

This is marked as breaking as we change the signature of getInternalStats

@spotandjake
Copy link
Member Author

Looks like one of the provides snapshots gets updated because of a dependency on the stdlib

Copy link
Member

@peblair peblair left a comment

Choose a reason for hiding this comment

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

Looks good!

Copy link
Member

@phated phated left a comment

Choose a reason for hiding this comment

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

Most notable problem is naming of the record in set

compiler/test/stdlib/map.test.gr Outdated Show resolved Hide resolved
compiler/test/stdlib/set.test.gr Outdated Show resolved Hide resolved
stdlib/set.gr Outdated Show resolved Hide resolved
stdlib/set.gr Outdated Show resolved Hide resolved
@spotandjake
Copy link
Member Author

All Fixed

Copy link
Member

@phated phated left a comment

Choose a reason for hiding this comment

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

Light rewording on the @history attributes

stdlib/set.gr Outdated Show resolved Hide resolved
stdlib/map.gr Outdated Show resolved Hide resolved
spotandjake and others added 2 commits August 20, 2023 15:36
Co-authored-by: Blaine Bublitz <blaine.bublitz@gmail.com>
@phated phated enabled auto-merge August 20, 2023 19:40
@phated phated added this pull request to the merge queue Aug 20, 2023
Merged via the queue into grain-lang:main with commit bdb119a Aug 20, 2023
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants