search

potassco / clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
https://clorm.readthedocs.io
MIT License
52 stars 5 forks source link

Bad linting when the clorm query select parameter is a function #134

Closed daveraja closed 4 months ago

daveraja commented 6 months ago

Pylint complains when the clorm query select() parameter uses a function.

Need to look at the type annotations to see if it can be overloaded to deal with this case.

Note: the current work around for this is to wrap the query output in a typing.cast() call.

daveraja commented 6 months ago

This should hopefully be fixed with v1.5.1. But I need to look into writing unit tests that perform pylint and mypy checks. Probably need to build a mypy plugin.