Closed tdenniston closed 9 years ago
The type checker simply fails an assertion if some statement fails to typecheck. It would be nice if these messages point to the line number of the error.
The type checker simply fails an assertion if some statement fails to typecheck. It would be nice if these messages point to the line number of the error.