Add checks of predicate arguments
EvgSkv opened this issue · comments
Evgeny Skvortsov commented
It will take time to implement type inference.
In the meanwhile we could have a simpler check: when a predicate is called (including databases) and arguments are used, verify that the predicate has corresponding columns.