you can use a hook to check the type of the input and then emit a warning if it doesn't conform

also it is possible to declare types for your macro or function arguments using this: https://github.com/clj-kondo/clj-kondo/blob/master/doc/types.md

> you can use a hook to check the type of the input and then emit a warning if it doesn’t conform Nice, but this wouldn’t work if the macro receives a variable or an expression. > also it is possible to declare types for your macro or function arguments using this This is cool, I’ll try this.

Macro arguments are never evaluated so whatever you pass as a form, that is the type

Exactly, but I’ve seen clj-kondo being able to hint something like

(def x 5)
(format x)

format is not a macro

What if it was? I. e. is there no linting on macro arguments similar to how it is done for functions?

there is currently no difference in checking types for functions or macros