Fork me on GitHub
#clj-kondo
<
2019-09-14
>
gerred10:09:19

will do 🙂

gerred10:09:58

i forgot to build it last night, building now.

gerred10:09:12

is the tip of the typing branch still good or should I use a specific commit?

borkdude10:09:42

just the newest commit of the branch

gerred10:09:30

it'd probably help if I updated my fork from your upstream

gerred10:09:12

i may have a bad spec here but this isn't being caught:

gerred10:09:45

i just yanked a spec out of speculative real quick to make sure it wasn't me 😄

gerred10:09:57

are you expecting that to be caught right now?

gerred10:09:01

if so I'll put it in the issue

gerred10:09:03

if not I won't worry about it

borkdude10:09:41

No, you’ll have to add that spec in typing.clj in the hash map

borkdude10:09:57

It doesn’t use fdef for reasons

borkdude10:09:31

Most particularly GraalVM issues

gerred10:09:36

ah yeah I see what you're doing now

gerred10:09:58

so you'd actually have to update types.clj#79 for the whole standard library if you wanted that.

borkdude10:09:59

It’s a closed system right now but maybe in the future users can add specs in their configs

borkdude10:09:27

Right. Or at least the top most useful stuff.

borkdude10:09:25

Only catching the single arg map/filter transducer stuff is already valuable to me

gerred10:09:38

yeah that's a good general list even now

gerred10:09:52

i was going to suggest into then I found it 😄

borkdude10:09:31

AFK for a bit

borkdude16:09:16

Added a bunch of functions from clojure.set and clojure.string now too

borkdude19:09:06

the first take at local typing is merged to master

👍 4