Subject: | Better messsages for type constraint failures |
From: | mail [...] tobyinkster.co.uk |
The reasons for not back-tracking up the type constraint hierarchy when generating error messages are largely historic.
The technique of throwing exceptions should allow us to give a clearer explanation for a failure.
This may break test cases which are checking the exact strings of exceptions. However some of the damage could be mitigated using multi-line error messages and keeping the first line as-is.