2026-01-09 clj-kondo | Clojure Slack Archive

clj-kondo 2026-01-09

A-Helberg 2026-01-09T04:32:34.647319Z

I've been testing clj-kondo + malli function specs And it seems clj-kondo assumes a key is not present in a map if not statically defined Or perhaps I'm doing something wrong?

borkdude 2026-01-10T21:00:55.797439Z

It only complains if it can statically infer that the key isn't present

borkdude 2026-01-10T21:01:51.885899Z

It won't complain on (assoc x :name "foo") if it doesn't know anything about x but with the empty map we know it doesn't have any keys

borkdude 2026-01-10T21:02:50.215869Z

(assoc {} :name "string")

looks like a bug. can you make a repro using only clj-kondo? you can find the specs generated by malli in the imports directory

borkdude 2026-01-10T21:03:20.081149Z

there might be a bug either in how malli generates stuff for clj-kondo or in clj-kondo. but let's start with reproing with clj-kondo only

A-Helberg 2026-01-09T04:32:46.885369Z

A-Helberg 2026-01-09T04:33:55.640269Z

I understand if we don't have flow sensitive typing that there's no way to know if :name is indeed in the map, but I also wouldn't expect it to be an error in that case (perhaps a warning is justified)

A-Helberg 2026-01-15T03:43:50.676079Z

Sorry for the late reply, I got around to making a minimal example of this. https://github.com/A-Helberg/demo I added the above code in https://github.com/A-Helberg/demo/blob/main/src/andre.clj Once http://malli.dev/start! is called, it outputs https://github.com/A-Helberg/demo/blob/main/.clj-kondo/imports/metosin/malli-types-clj/config.edn,

{:linters {:unresolved-symbol {:exclude [(malli.core/=>)]},
           :type-mismatch 
             {:namespaces
               {andre {myfn {:arities {1 {:args [{:op :keys, :req {:name :string}}],
                                                                  :ret :string}}}}}}}}

This looks correct to me

Clojurians Log v2

clj-kondo 2026-01-09