Skip to content

Move input and return types to rules #85

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.

Sign up for GitHub

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

Jump to bottom
Merged
Taucher2003 merged 2 commits into from
May 6, 2025
Merged

Move input and return types to rules #85

Taucher2003 merged 2 commits into from
May 6, 2025

Conversation

@Taucher2003
Copy link
Member

@Taucher2003 Taucher2003 commented May 5, 2025

Closes #82

@Taucher2003 Taucher2003 requested a review from raphael-goetz May 5, 2025 15:55
@Taucher2003 Taucher2003 self-assigned this May 5, 2025
@raphael-goetz raphael-goetz requested a review from nicosammito May 5, 2025 19:19
nicosammito
nicosammito approved these changes May 5, 2025
View reviewed changes
Copy link
Contributor

@nicosammito nicosammito 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 for me

@Taucher2003 Taucher2003 merged commit c92d98b into main May 6, 2025
2 checks passed
@Taucher2003 Taucher2003 deleted the 82-move-input-and-return-types-to-rules branch May 6, 2025 17:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@raphael-goetz raphael-goetz raphael-goetz approved these changes

@nicosammito nicosammito nicosammito approved these changes

Assignees

@Taucher2003 Taucher2003

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Replace input_types and return_type in DataType with rules

4 participants

@Taucher2003 @raphael-goetz @nicosammito