Some work on improving error messages

We now store the location where type variables were bound, so we can
use this information when printing error messages.

Factor type errors out into type_error.ml. This means that
Type_check.check is now Type_error.check, as it previously it handled
wrapping the type_errors into reporting_basic
errors. Type_check.check' has therefore been renamed to
Type_check.check.

0 files changed, 0 insertions, 0 deletions