Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
2024-04-09T15:41:51.228799Z
This code is producing an error in the type checker. Seems to have to do with the Math/abs call.
(t/ann foo [t/Int :-> t/Str])
(defn foo [cents]
(str (Math/abs cents))) 2024-04-09T15:42:48.569479Z
Seems clojure's abs function works but not Math/abs
2024-04-09T15:44:23.196309Z
Looks like a bug.
2024-04-09T15:44:52.815919Z
But you probably need to add a type hint for it to type check.
2024-04-09T15:45:13.164969Z
^long cents
2024-04-09T15:45:22.641339Z
That might circumvent the bug.
2024-04-09T15:55:24.556259Z
If it fixes it, please file a report. And yes, clojure.core/abs is better here.