Clojurians Log v2

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?

a type of a -> a can only be the identity function

you can call rest on anything seqable, so most/any of the collection types

isn't (t/Seq t/Int) seqable?

oh sorry ignore me

completely missed the alias, monday morning

got it :simple_smile:

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

(t/defalias T1
  (t/U (t/Seq t/Int) (t/Val foo)))

@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)