core.typed messings about

gistfile1.clj

; trying to work around no update-in type
(defmacro typed-update-in [m [v] f]
  `((ann-form update-in
      (~'All [~'x ~'y]
        [ (~'HMap :mandatory {~v ~'x}) (~'Vector* Keyword) [~'x ~'-> ~'y]
           ~'->
          (~'HMap :mandatory {~v ~'y}) ]))
    ~m [~v] ~f))
; still causes an error because of the inner un-typed update-in

; alternative approach:
(defmacro my-update-in [o k f]
  `(assoc ~o ~k (-> ~o ~k ~f)))