MatchTypeTrace
A utility module to produce match type reduction traces in error messages.
Value members
Concrete methods
Record a failure that scrutinee scrut
is provably empty.
Only the first failure is recorded.
Record a failure that scrutinee scrut
is provably empty.
Only the first failure is recorded.
Are we running an operation that records a match type trace?
Are we running an operation that records a match type trace?
Record a failure that scrutinee scrut
does not match any case in cases
.
Only the first failure is recorded.
Record a failure that scrutinee scrut
does not match any case in cases
.
Only the first failure is recorded.
Execute op
and if it involves a failed match type reduction
return the trace of that reduction. Otherwise return the empty string.
Execute op
and if it involves a failed match type reduction
return the trace of that reduction. Otherwise return the empty string.
Record in the trace that we are trying to reduce scrut
when performing op
If op
succeeds the entry is removed after exit. If op
fails, it stays.
Record in the trace that we are trying to reduce scrut
when performing op
If op
succeeds the entry is removed after exit. If op
fails, it stays.
Record a failure that scrutinee scrut
does not match stuckCase
but is
not disjoint from it either, which means that the remaining cases otherCases
cannot be visited. Only the first failure is recorded.
Record a failure that scrutinee scrut
does not match stuckCase
but is
not disjoint from it either, which means that the remaining cases otherCases
cannot be visited. Only the first failure is recorded.