Support the type `pid()`, `port()`, `reference()` and `identifier()` - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

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

Apache License 2.0

56 stars 8 forks source link

Support the type `pid()`, `port()`, `reference()` and `identifier()` #255

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago

Add 4 variants to Type.t_union_elem
Fix Type.inf and type.sup

related tasks

convert from -spec declaration: https://github.com/dwango/fialyzer/issues/244
convert from PLT file: https://github.com/dwango/fialyzer/issues/245

yoshihiro503 commented 5 years ago

Fixed https://github.com/dwango/fialyzer/pull/271