Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
J 2022-06-08T16:17:39.705469Z
Hi! I don’t understand this error:
Type mismatch:
Expected: (t/U Short Byte Long BigInt BigInteger Integer)
Actual: (t/I t/AnyInteger t/Num)
in:
(:pokemon/level pokemon 1)^::t/ignore
(def PokemonLevel
[:and :int [:>= 1] [:<= 100]])
^::t/ignore
(def Pokemon
[:map
[:pokemon/name :string]
[:pokemon/level {:optional true} PokemonLevel])
(m/=> get-pokemon-level [:=> [:cat Pokemon] PokemonLevel])
(defn get-pokemon-level [pokemon]
(:pokemon/level pokemon 1))
2022-06-10T21:22:02.446609Z
Hi, looking. Looks strange..
2022-06-10T21:36:18.152939Z
Looks like Pokemon translates to a strange type
(t/HMap :mandatory {:pokemon/name t/Str} :optional {:pokemon/level (t/I t/AnyInteger t/Num)}) 2022-06-10T21:37:50.028789Z
BTW I'm using metadata to debug this, might help you in the future:
(defn get-pokemon-level [pokemon]
^::t/dbg
(:pokemon/level ^::t/dbg pokemon 1));=::t/dbg id=G__54475 (:pokemon/level pokemon 1)
;=::t/dbg id=G__54475 expected: (t/U Short Byte Long BigInt BigInteger Integer)
;= ::t/dbg id=G__54476 pokemon
;= ::t/dbg id=G__54476 result: [(t/HMap :mandatory {:pokemon/name t/Str} :optional {:pokemon/level (t/I t/AnyInteger t/Num)}) {:then tt, :else ff} {:id pokemon__#0}]
;=::t/dbg id=G__54475 result: (t/U Short Byte Long BigInt BigInteger Integer) 2022-06-10T21:49:34.176969Z
Minimal:
^::t/ignore
(def PokemonLevel
[:and :int [:>= 1] [:<= 100]])
(m/=> get-pokemon-level [:=> [:cat [:maybe PokemonLevel]] PokemonLevel])
(defn get-pokemon-level [pokemon-level]
(or pokemon-level 1))Type mismatch:
Expected: (t/U Short Byte Long BigInt BigInteger Integer)
Actual: (t/I t/AnyInteger t/Num)
in:
or__5581__auto__ 2022-06-10T21:56:39.889939Z
I don't think that's a real type mismatch, looks like a false negative.
2022-06-10T23:59:24.240999Z
@jean.boudet11 releasing 1.0.31 which should work around this problem. now [:and A B] will be simplified to A instead of (t/I A B).
J 2022-06-11T05:18:10.810579Z
Thanks @ambrosebs