search

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56 stars 8 forks source link

Support Compound Pattern (as pattern) #229

Open yoshihiro503 opened 5 years ago

yuezato commented 5 years ago

http://erlang.org/doc/apps/erts/absform.html#patterns

If P is a compound pattern P_1 = P_2, then Rep(P) = {match,LINE,Rep(P_1),Rep(P_2)}.