Skip to content

[stdlib] Move some functions from FPUtils to DType#5031

Closed
martinvuyk wants to merge 1 commit intomodular:mainfrom
martinvuyk:move-some-fputil-funcs
Closed

[stdlib] Move some functions from FPUtils to DType#5031
martinvuyk wants to merge 1 commit intomodular:mainfrom
martinvuyk:move-some-fputil-funcs

Conversation

@martinvuyk
Copy link
Copy Markdown
Contributor

Move some functions from FPUtils to DType. Part of #4685

@martinvuyk martinvuyk requested a review from a team as a code owner July 15, 2025 21:36
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
@martinvuyk martinvuyk force-pushed the move-some-fputil-funcs branch from f01fb4f to 2585cc7 Compare July 15, 2025 21:45
@ConnorGray ConnorGray self-assigned this Jul 15, 2025
@ConnorGray
Copy link
Copy Markdown
Member

!sync

@modularbot modularbot added the imported-internally Signals that a given pull request has been imported internally. label Jul 15, 2025
@modularbot
Copy link
Copy Markdown
Collaborator

✅🟣 This contribution has been merged 🟣✅

Your pull request has been merged to the internal upstream Mojo sources. It will be reflected here in the Mojo repository on the main branch during the next Mojo nightly release, typically within the next 24-48 hours.

We use Copybara to merge external contributions, click here to learn more.

@modularbot modularbot added merged-internally Indicates that this pull request has been merged internally merged-externally Merged externally in public mojo repo labels Jul 18, 2025
@modularbot
Copy link
Copy Markdown
Collaborator

Landed in 19ce0ac! Thank you for your contribution 🎉

@github-actions github-actions bot locked and limited conversation to collaborators Jul 19, 2025
@martinvuyk martinvuyk deleted the move-some-fputil-funcs branch July 20, 2025 23:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

imported-internally Signals that a given pull request has been imported internally. merged-externally Merged externally in public mojo repo merged-internally Indicates that this pull request has been merged internally

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants