Closed nickgian closed 5 years ago
Type checking does not give you any other information besides the types that did not unify which makes debugging pretty difficult. Ideally an expression or line involved should be reported.
Type checking does not give you any other information besides the types that did not unify which makes debugging pretty difficult. Ideally an expression or line involved should be reported.