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

Autocomplete for service.send() #232

Merged
merged 4 commits into from
Jan 14, 2025
Merged

Autocomplete for service.send() #232

merged 4 commits into from
Jan 14, 2025

Conversation

matthewp
Copy link
Owner

This makes it so you get proper auto-complete when using service.send('event').

showmachine.mp4

This makes it so you get proper auto-complete when using
`service.send('event')`.
Copy link

changeset-bot bot commented Dec 30, 2024

🦋 Changeset detected

Latest commit: 78bdd5d

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 6 packages
Name Type
robot3 Minor
haunted-robot Major
lit-robot Major
preact-robot Major
react-robot Major
robot-hooks Major

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@matthewp matthewp assigned ehuelsmann and unassigned ehuelsmann Dec 30, 2024
@matthewp matthewp requested a review from ehuelsmann December 30, 2024 20:11
@matthewp
Copy link
Owner Author

@ehuelsmann this is ready for review when you have the time.

@matthewp matthewp mentioned this pull request Dec 31, 2024
@matthewp
Copy link
Owner Author

I haven't heard from Eric in a few weeks, he might be on vacation. Going to merge this one. There is some risk here in that it currently is strict, so passing a string variable will show a type error. If users hit this I'll do a less-restrictive change, but I think it makes sense to be safer at the start before we know the less restrictive version is needed.

@matthewp matthewp merged commit 4f6fb69 into main Jan 14, 2025
2 checks passed
@matthewp matthewp deleted the typed-send branch January 14, 2025 12:41
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.

2 participants