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
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.
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.