core.typed

Internal error: keyword invoke gave bottom type

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Invoking keyword keys on things that are not maps, or maps that don't have the "correct" keys throws an internal type error. This should be a warning and return Any.

https://groups.google.com/forum/#!topic/clojure-core-typed/Jl2eIJjJCIE

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

Fixed in master: https://github.com/clojure/core.typed/commit/26166595addde1d97d96db57baf154c3e19330c6

Verify with version:

[org.clojure/core.typed "0.2.5-20130907.040255-3"]
:repositories {"sonatype-oss-public" "https://oss.sonatype.org/content/groups/public/"}

Show
Ambrose Bonnaire-Sergeant added a comment - Fixed in master: https://github.com/clojure/core.typed/commit/26166595addde1d97d96db57baf154c3e19330c6 Verify with version: [org.clojure/core.typed "0.2.5-20130907.040255-3"] :repositories {"sonatype-oss-public" "https://oss.sonatype.org/content/groups/public/"}

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: