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

refactor: migrate VariableName to use NewType #3840

Merged
merged 3 commits into from
Feb 18, 2025

Conversation

devin-ai-integration[bot]
Copy link
Contributor

Migrate VariableName to use NewType

This PR migrates the VariableName type from a plain str to use NewType("VariableName", str) for better type safety. This is part of the ongoing effort to improve type safety in the codebase.

Changes

  • Updated VariableName in _types/ids.py to use NewType
  • Fixed all type errors across the codebase related to this change
  • Added appropriate type annotations and imports

Testing

  • ✅ All type checks pass (hatch run typecheck:check)
  • ✅ Linting passes (hatch run lint)

Link to Devin run: https://app.devin.ai/sessions/e1ee00a6fb4e476aa91c3e7fca16a501
Requested by: Myles

Co-Authored-By: Myles Scolnick <myles@marimo.io>
Copy link

vercel bot commented Feb 18, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
marimo-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 18, 2025 9:09pm
marimo-storybook ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 18, 2025 9:09pm

Copy link
Contributor Author

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

  • Address comments on this PR. Add "(aside)" to your comment to have me ignore it.
  • Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

  • Disable automatic comment and CI monitoring

Co-Authored-By: Myles Scolnick <myles@marimo.io>
@mscolnick mscolnick merged commit d31ba11 into main Feb 18, 2025
29 of 34 checks passed
@mscolnick mscolnick deleted the devin/1739911533-migrate-variable-name-type branch February 18, 2025 21:17
Copy link

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.11.7-dev13

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