[244]convert integer lists and maps of type specs - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

https://dwango.github.io/fialyzer/

Apache License 2.0

56 stars 8 forks source link

[244]convert integer lists and maps of type specs #246

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago

Support the type specs:

non_neg_integer(), integer(), pos_integer(), neg_integer()
Lists (proper and improper)
Strings (= list(number()))
Maps: TyAnyMap TyMap

For #244