Cannot call `map` from Ramda with same arity but different signatures about flow-typed HOT 5 CLOSED

@rjmk will check tonight. Let me know if you have ideas about the possible reason

from flow-typed.

@alexeygolev I will do some research on Flow / the links on the inference algorithm you left on the PR. At the moment I'm pretty in the dark about all of this!

from flow-typed.

@rjmk by the way what do you mean by "flow will blow up"?

from flow-typed.

@rjmk can't reproduce or I'm not understanding the problem correctly. If I change the type of object values to number in your signature flow will complain which means it works the way it should. Your expression typechecks

from flow-typed.

@alexeygolev Sorry, horrendous of me not to paste the error output. My issue was that in the type checking error message, it would only consider the members of map with array types.

Now, however, I also cannot reproduce. But not could I reproduce when changing the type of object values to number. git diff shows only the insertion of that line. Upon deleting files ignored by the .gitignore the error disappears.

Appears to be anomalous. Sorry for dragging you into that, @alexeygolev

from flow-typed.