issues
search
dwango
/
fialyzer
[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56
stars
8
forks
source link
Refactor AST-related things
#108
Closed
kmizu
closed
5 years ago
kmizu
commented
5 years ago
Decided in the previous fialyzer weekly meeting.
Rename ast_intf.ml to ast.ml
expr, spec_fun, decl
fun, module
,
Create type.ml
Move typ and constraint (constraint_)
Decided in the previous fialyzer weekly meeting.