Merged requested to merge nomadic-labs/tezos:mehdi@better_merge_type_error into master
Following !3695 (merged),
- Invasively use the flag for all error-returning functions called by
- Consequently have faster fast errors (fixes a few cases where we still produced expensive errors where we shouldn't have)
- GADTify the flag to have static guarantees that fast errors are always caught
- reduce usage of catch-all for non-fast errors
Manually testing the MR
Document the interface of any function added or modified (see the coding guidelines)
Document any change to the user interface, including configuration parameters (see node configuration)
Provide automatic testing (see the testing guide).
For new features and bug fixes, add an item in the appropriate changelog (
docs/protocols/alpha.rstfor the protocol and the environment, the
Development Versionsection of
CHANGES.mdfor everything else).
Select suitable reviewers using the
Assigneethe next person who should take action on that MR