search

dwango / fialyzer

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

Support list pattern #91

Open yoshihiro503 opened 5 years ago

yoshihiro503 commented 5 years ago

Add constructors PatNil and PatCons to type pattern'.

kmizu commented 5 years ago

Memo: Before this issue, https://github.com/dwango/fialyzer/issues/90 must be resolved.

amutake commented 5 years ago

I'll do this.

amutake commented 5 years ago

Oops @kmizu -san opened and closed the pull request #105 at a month ago. Will you re-open the pull request because #90 is now resolved?

kmizu commented 5 years ago

comment test