Clojure Q&A - Recent questions and answers in core.typed

Answered: large hashmaps: failure to discover subtype and error-output to complex to understand

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-102 (reported by cvkemenade)

Answered: pred doesn't work for non-literal HVecs with varargs

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-306 (reported by alex+import)

Answered: Let-aliased variables of plain Map lookups should update original map

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-241 (reported by overthink)

Answered: adding stop-gap annotation for 'hash-map' results in runtime exception

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-242 (reported by johanatan)

Answered: checking clojure.core/keep produces Internal Error--Cannot resolve type: Option

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-223 (reported by alex+import)

Answered: (Array X) is broken and undocumented

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-231 (reported by marc)

Answered: if-let on an hmap with an optional entry always expected to succeed

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-222 (reported by alex+import)

Answered: No matching arities when defining multiple arity protocol method

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-197 (reported by alex+import)

Answered: Assoc doesn't work with multiple entries

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-204 (reported by alex+import)

Answered: Abstract over keyword arguments

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-301 (reported by ambrosebs)

Answered: HSequential things should correctly erase dotted arguments

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-140 (reported by ambrosebs)

Answered: select-keys on HMap returns Map with union key and value types

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-129 (reported by noidi)

Answered: method-type is broken

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-209 (reported by noidi)

Answered: group-by produces "Cannot resolve type: Seqable"

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-221 (reported by alex+import)

Answered: Internal error with t/defn, sort-by and no refer all

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-282 (reported by alex+import)

Answered: Support KwArgsSeq in apply

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-76 (reported by alex+import)

Answered: extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-143 (reported by mpenet)

Answered: Adding annotations for clojure.string namespace.

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-327 (reported by alex+import)

Answered: Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are c

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-191 (reported by alex+import)

Answered: Inferred type for {{defn}} and {{typed/fn}} with the same body are different

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-274 (reported by alex+import)

Answered: merge doesn't seem to like records

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-72 (reported by alex+import)

Answered: Typechecker fails when checking involves an object from reify

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-133 (reported by alex+import)

Answered: Intersections of value types broken

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-225 (reported by ambrosebs)

Answered: "Method code too large!" with protocols (more than 38 functions in the protocol)

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-270 (reported by alex+import)

Answered: with-meta doesn't type check with vectors or hash-maps.

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-88 (reported by alex+import)

Answered: Cannot instantiate variables that have bounds

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-32 (reported by ambrosebs)

Answered: Typechecking fails with internal assert error

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-277 (reported by alex+import)

Answered: RPS example does not type check

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-219 (reported by alex+import)

Answered: Bad call to path-type: nil

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-275 (reported by overthink)

Answered: An invalid type annotation for a function with a record argument passes a type check

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-279 (reported by alex+import)

Answered: Calling a multimethod from a protocol function breaks the type checker

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-201 (reported by exi)

Answered: Support for clojure.core/extend is broken when used with typed.core/defprotocol

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-195 (reported by alex+import)

Answered: Let-aliasing breaks flow inference for results of `class`

Wed, 26 Jun 2019 12:00:00 +0000

Reference: https://clojure.atlassian.net/browse/CTYP-326 (reported by ambrosebs)