Support list (cons) - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

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

Apache License 2.0

56 stars 8 forks source link

Support list (cons) #191

Closed kmizu closed 5 years ago

kmizu commented 5 years ago

The form of cons is [Head|Tail] (Head and Tail are variables of Erlang).
Add list type (TyList t)
Implement the derivation rule
Implement the subtype relation
Add some unit tests
Postpone the support of nil pattern

kmizu commented 5 years ago

Remaining tasks:

Add blackbox tests

kmizu commented 5 years ago

Could you review this PR ? to : @amutake and/or @yoshihiro503

amutake commented 5 years ago

Sorry, could you rebase and change docs/derivation-rules.saty instead of docs/derivation-rules.md because derivation-rules.md is deleted via #207 ? If you are not familiar with SATySFi, please let me know. I'll support or add commits instead of you.

kmizu commented 5 years ago

Sorry, could you rebase and change docs/derivation-rules.saty instead of docs/derivation-rules.md because derivation-rules.md is deleted via #207 ? If you are not familiar with SATySFi, please let me know. I'll support or add commits instead of you.

Thank you for comment. I changed docs/derivation-rules.saty

kmizu commented 5 years ago

@yoshihiro503 Could you re-review it and do LGTM if there is no problem ?