Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
bsima 2016-01-31T05:35:06.000004Z
anyone here?
bsima 2016-01-31T05:35:48.000005Z
I could use some help with HVec's
bsima 2016-01-31T05:36:23.000006Z
(cf [1 2 :a :b 6 "hey"] (All [a b ...] (HVec [a b ... b])))
Type Error (*cider-repl core*) Type mismatch:
Expected: (All [a b ...] (HVec [a b ... b]))
Actual: (HVec [(Val 1) (Val 2) (Val :a) (Val :b) (Val 6) (Val "hey")])
in: [1 2 :a :b 6 "hey"]