Change to notifyMatchFailure (#1073)

emitError is intended for error cases and not match failures of
patterns. notifyMatchFailure is intended where pattern reports reason
for not matching.

Op verification should also not happen inside patterns but as part of
verify/verification, but left ones that were obviously verification to
emitError inside patterns to keep this change small.
pull/1061/head
Jacques Pienaar 2022-07-17 18:39:54 -07:00 committed by GitHub
parent baa4383c44
commit 247dd64a66
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 285 additions and 202 deletions

File diff suppressed because it is too large Load Diff