On 10/15/19 3:57 PM, Andrew Sutton wrote:
Certain errors encountered during constraint satisfaction render the
program ill-formed. Emit those as errors during satisfaction and not
when diagnosing constraint errors.
The errors should include the full context for failure (i.e., when
satisfying X,
Certain errors encountered during constraint satisfaction render the
program ill-formed. Emit those as errors during satisfaction and not
when diagnosing constraint errors.
The errors should include the full context for failure (i.e., when
satisfying X, when satisfying Y, this failed), but we don'
