MatchTypeTrace
A utility module to produce match type reduction traces in error messages.
Attributes
- Graph
-
- Supertypes
- Self type
-
MatchTypeTrace.type
Members list
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.
Attributes
Are we running an operation that records a match type trace?
Are we running an operation that records a match type trace?
Attributes
The failure message when the scrutinee scrut
does not match any case in cases
.
The failure message when the scrutinee scrut
does not match any case in cases
.
Attributes
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.
Attributes
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.
Attributes
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.