Support fun expr - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

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

Apache License 2.0

56 stars 8 forks source link

Closed kmizu closed 5 years ago

kmizu commented 5 years ago

Fix #80 . Support the following anonymous function expressions:

fun (...) -> .... end

Guards are not supported currently
- Implement them as we need
Support tuple patterns additionally
Add variable.{ml, mli} to create fresh variable
- If you know the better way, please let me know
Some test cases for the AST translation were added
- See test_from_erlang.ml

kmizu commented 5 years ago

plz review @yoshihiro503 and/or @amutake

kmizu commented 5 years ago

Since I've reflected the comment, plz review again when you have time: @yoshihiro503 and/or @amutake