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

Extending DevCommand metadata for allowing untyped pushing of DevCommand to Commands #14

Merged

Conversation

rewin123
Copy link

@rewin123 rewin123 commented Mar 21, 2024

And fixing geting type info in traits

RENDERED

@alice-i-cecile
Copy link
Owner

Can you link to your prototype in the RFC as well? Probably in the implementation details. I'd like to make it clear that this design has been proven to work.

@rewin123
Copy link
Author

rewin123 commented Mar 21, 2024

Won't it be a problem that my code is in the bad coding style a bit? I won't have time to clean it until this weekend at least.

@alice-i-cecile
Copy link
Owner

alice-i-cecile commented Mar 21, 2024

Nope, that's fine for now! All we really care about is "this basically works", not "this is ready to upstream".

@rewin123
Copy link
Author

Can you link to your prototype in the RFC as well? Probably in the implementation details. I'd like to make it clear that this design has been proven to work.

Added

@alice-i-cecile alice-i-cecile merged commit c1126a8 into alice-i-cecile:dev-tools Mar 22, 2024
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.

3 participants