map-based types support about gradualizer HOT 6 CLOSED

this is a missing feature: map pattern matching is not yet implemented in add_type_pat/4

from gradualizer.

thanks! 👍

from gradualizer.

Do we have some kind of roadmap?
I can start to learn Erlang AST to implement this feature, but I don't know - maybe somebody else is gonna to implement it, probably faster and better than I can do it :)

from gradualizer.

We don't have any roadmap, though perhaps we should have. My personal roadmap is to try to find the time to properly implement type variables and constraint solving. But I tend to fix smaller missing things as I encounter them. @tim2CF , feel free to hack away on support for maps.

from gradualizer.

@tim2CF Cheat sheet for Erlang AST: https://github.com/zuiderkwast/erlang_abstract_format

from gradualizer.

Map patterns are handled now, which the example above is about, so I'm closing this issue. Other things related to maps are still not implemented, e.g. #131

from gradualizer.