core.typed

clojure.lang.RT/nth's type doesn't currently allow nil as the first argument

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

Re: Why (first [1 2 3]) isn't equivalent to (let [[x & xs] [1 2 3]] x)
"
; This is because clojure.lang.RT/nth's type doesn't currently allow nil as
; the first argument. Should be fixed in master, but please submit a bug report to
; JIRA, it might not be completely correct.
; -Ambrose"

From
https://github.com/frenchy64/type-examples/blob/master/src/type_examples/core.clj

I'm not sure if this is fixed in master, but I couldn't build the current 0.1.18-SNAPSHOT (master) to check.

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

Sorry, master is a bit broken at the moment. It may take a week to get it stable actually!

Show
Ambrose Bonnaire-Sergeant added a comment - Sorry, master is a bit broken at the moment. It may take a week to get it stable actually!
Hide
Ambrose Bonnaire-Sergeant added a comment -

This needs a special case for invoke-nth, to handle things like (nth (I (Seqable x) (CountRange 1)) 0).

Show
Ambrose Bonnaire-Sergeant added a comment - This needs a special case for invoke-nth, to handle things like (nth (I (Seqable x) (CountRange 1)) 0).

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: