Fork me on GitHub
#clj-kondo
<
2019-10-29
>
borkdude10:10:24

@whilo I made an issue for datalog linting here now: https://github.com/borkdude/clj-kondo/issues/563

whilo10:10:06

ok, cool. thanks

borkdude10:10:08

it might make sense to only include the verification/linting bits from that library and port it to clj-kondo instead of including this as a dependency into clj-kondo

whilo17:10:46

we want that too, the parser is already minimal and is factored out of datahike for exactly such syntactic operations. it has no dependencies itself.

borkdude18:10:55

Alright. If clj-kondo would straight up use this, I guess you can only assert that something is wrong with the query and then only point at the query as a whole and not at one symbol inside the query.

borkdude18:10:35

Unless we preserve location metadata while coercing it to a sexpr

borkdude18:10:37

That might work

borkdude10:10:24

I want clj-kondo to have the least amount of deps as possible

whilo17:10:46

we want that too, the parser is already minimal and is factored out of datahike for exactly such syntactic operations. it has no dependencies itself.