search

dwango / fialyzer

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

Add derivation rules doc #164

Closed amutake closed 5 years ago

amutake commented 5 years ago

Add derivation rules doc used in current fialyzer.

I want to maintain this doc when the rules are changed.

amutake commented 5 years ago

In the original paper, the derivation rule of pattern (p1...pn) is not described. Then, it is better if it is noted.

I think p1...pn means a pattern with guard sequence. I changed p1 ... pn to pg1 ... pgn in CASE rule and noted this change. In addition to it, I noted that we convert pattern p to an expression in PAT rule. This is not described in the original paper.

kmizu commented 5 years ago

LGTM

amutake commented 5 years ago

@youxkei Could you review this pull request?