Map pattern, creation, and update (partially)

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

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

Apache License 2.0

56 stars 8 forks source link

Closed amutake closed 5 years ago

amutake commented 5 years ago

issue: #102 To full support for map pattern, it is required to resolve #122.

amutake commented 5 years ago

rebased.

amutake commented 5 years ago

updated: I temporary considered all map as map() because it's difficult to support typed map update yet.

amutake commented 5 years ago

rebased and updated derivation-rules.saty

amutake commented 5 years ago

Thank you for your review! I'll rebase and merge.