formal-ledger-specifications
formal-ledger-specifications copied to clipboard
Improve output of `genErrors`
- [ ]
genErrors
always generates fully qualified names. The output would be a lot more readable if we postprocess the string to remove those qualifiers. - [ ] We could also give a number that indicates which failure happened, for easier identification.
- [ ] The output generates non-breaking spaces. We may want to replace them with regular spaces (but maybe that should be a downstream responsibility?)