• Ian Lynagh's avatar
    Store short error message text as a string · 1c490467
    Ian Lynagh authored
    We also store the Doc still, although we don't have to; we could
    just convert back again, at the cost of some inefficiency.
    But we do need the String, so that we can print it in the Show instance.