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.

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

Validate types when adding them. #4110

Closed
martinmr opened this issue Oct 1, 2019 · 1 comment
Closed

Validate types when adding them. #4110

martinmr opened this issue Oct 1, 2019 · 1 comment
Assignees
@martinmr
Labels
area/types Issues related to the type system. priority/P1 Serious issue that requires eventual attention (can wait a bit) status/accepted We accept to investigate/work on it.

Comments

@martinmr
Copy link
Contributor

martinmr commented Oct 1, 2019

When adding a new type, add a basic check to ensure all the predicates in the type already exist.
@martinmr martinmr self-assigned this Oct 1, 2019
@martinmr martinmr added area/types Issues related to the type system. priority/P1 Serious issue that requires eventual attention (can wait a bit) status/accepted We accept to investigate/work on it. labels Oct 1, 2019
@martinmr
Copy link
Contributor Author

Closed by #4114

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@martinmr martinmr

Labels
area/types Issues related to the type system. priority/P1 Serious issue that requires eventual attention (can wait a bit) status/accepted We accept to investigate/work on it.
Milestone
No milestone
Development

No branches or pull requests
1 participant
@martinmr