You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was going through tests and found that tests in test/type_check.py were not being run, but also, if I try and run them they fail, even if I fix the constructor parameters (see end of this issue for output).
I looked into this a bit and as far as I can tell (TypeCheck|SubjectType|PredicateType|ObjectType)Error and check_(context|subject|predicate|object|statement|pattern) is not being raised at all, I confirmed this by removing the functions and running tests and type checking - see changes: #1640
I also checked with grep after removing the exceptions and functions, and nothing matches:
I think it may be best to just remove all of these exceptions and functions, at the very least we should either fix or remove the tests test/type_check.py.
Any input/feedback on this matter will be apreciated.
I was going through tests and found that tests in test/type_check.py were not being run, but also, if I try and run them they fail, even if I fix the constructor parameters (see end of this issue for output).
I looked into this a bit and as far as I can tell
(TypeCheck|SubjectType|PredicateType|ObjectType)Error
andcheck_(context|subject|predicate|object|statement|pattern)
is not being raised at all, I confirmed this by removing the functions and running tests and type checking - see changes: #1640I also checked with grep after removing the exceptions and functions, and nothing matches:
I think it may be best to just remove all of these exceptions and functions, at the very least we should either fix or remove the tests
test/type_check.py
.Any input/feedback on this matter will be apreciated.
output
The text was updated successfully, but these errors were encountered: