Support Record Patterns

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

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

Apache License 2.0

56 stars 8 forks source link

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago

Convert to the tuple patterns

When the record declaration is:

-record(rec, {foo :: integer(), bar :: string()}).

convert:

#rec{foo=<pattern>} -> ...

to:

{'rec', [<pattern>], '_'} -> ...

yoshihiro503 commented 5 years ago