search

dwango / fialyzer

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

Extend derivation rule to support list pattern #104

Closed kmizu closed 5 years ago

kmizu commented 5 years ago

e.g.

case x of
  [X|XS] -> ...;
  [] -> ...
end
kmizu commented 5 years ago

Closed since it's obsolete.