This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2015-12-07
Channels
- # admin-announcements (54)
- # announcements (1)
- # beginners (145)
- # boot (122)
- # cider (10)
- # cljs-dev (25)
- # cljsrn (20)
- # clojure (173)
- # clojure-art (4)
- # clojure-austria (1)
- # clojure-berlin (3)
- # clojure-germany (1)
- # clojure-nl (2)
- # clojure-russia (117)
- # clojure-switzerland (1)
- # clojure-uk (3)
- # clojurebridge (6)
- # clojurecup (36)
- # clojurescript (218)
- # clojurex (1)
- # core-typed (17)
- # cursive (23)
- # data-science (1)
- # datavis (2)
- # datomic (28)
- # emacs (3)
- # flambo (1)
- # hoplon (28)
- # ldnclj (19)
- # lein-figwheel (2)
- # leiningen (1)
- # luminus (1)
- # off-topic (1)
- # om (158)
- # portland-or (1)
- # re-frame (72)
- # reagent (48)
- # remote-jobs (1)
- # slack-help (7)
Hi. There's simple snippet http://dpaste.com/36BFRB1 and error I get: http://dpaste.com/3VT6PFR Do you think it's my fault (doesn't seem to be) and what workaround could I have for this?
the reason of an error is that core.typed thinks that I'm trying to pass 'foo
to the function rest
by accident, which I'm not ('cause filtering it out explicitly with an if
)
(this breaks me from porting core of my library to core.typed, which I want to do to find erros in peripheral part of it)
@andrewboltachev: you can’t call rest on a parameterised type
@minimal: what type can I call it on?
isn't (t/Seq t/Int)
seqable?
got it
well, my actual problem now is with predicates/filters
I can't get them right anyway
@andrewboltachev: it works if you don’t quote foo in the type alias
@minimal: interesting... thanks!
Hi. What I'm doing wrong if I'm getting assertion errors while checking the ns via t/check-ns
?
java.lang.AssertionError: Assert failed: (every? r/Type? types)