search

dwango / fialyzer

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

[BUG] match epression doesn't expand #260

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago

For example, the code:

-spec match_expr() -> number().
match_expr() ->
    A = id(B = 123),
    A + B.

should be well typed. But Fialyzer says:

TODO:filename:8: Unbound variable: B