formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Improve output of `genErrors`

Open WhatisRT opened this issue 6 months ago • 3 comments

  • [ ] 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?)

WhatisRT avatar Aug 15 '24 13:08 WhatisRT