issues
search
dwango
/
fialyzer
[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56
stars
8
forks
source link
Show line number
#144
Closed
kmizu
closed
5 years ago
kmizu
commented
5 years ago
[x] Add line numbers to ASTs
[x] Constant
https://github.com/dwango/fialyzer/issues/110
[x] Var
https://github.com/dwango/fialyzer/issues/110
[x] Tuple
https://github.com/dwango/fialyzer/issues/145
[x] App
https://github.com/dwango/fialyzer/issues/146
[x] Abs
https://github.com/dwango/fialyzer/issues/147
[x] Let
https://github.com/dwango/fialyzer/issues/148
[x] Letrec
https://github.com/dwango/fialyzer/issues/149
[x] Case
https://github.com/dwango/fialyzer/issues/150
[x] LocalFun
https://github.com/dwango/fialyzer/issues/151
[x] MFA
https://github.com/dwango/fialyzer/issues/152
[x] ListCons
https://github.com/dwango/fialyzer/issues/153
[x] ListNil
https://github.com/dwango/fialyzer/issues/154
[x] Add line numbers to patterns
[x] PatVar
https://github.com/dwango/fialyzer/issues/155
[x] PatTuple
https://github.com/dwango/fialyzer/issues/156
[x] PatConstant
https://github.com/dwango/fialyzer/issues/157
[x] PatCons
https://github.com/dwango/fialyzer/issues/158
[x] PatNil
https://github.com/dwango/fialyzer/issues/159
[x] Add an expression with line numbers to constraints
Subtype
and
Eq
#182
[x] Show an appropriate line number when
Known_error.(FialyzerError (TypeError ...))
is raised
https://github.com/dwango/fialyzer/issues/160
Subtype
andEq
#182Known_error.(FialyzerError (TypeError ...))
is raised https://github.com/dwango/fialyzer/issues/160