#248: More clear error handling for toString throwing an exception --------------------------------------------+------------------------------- Reporter: https://openid.fau.de/eg74yneg | Owner: ehuelsmann Type: enhancement | Status: new Priority: major | Milestone: Component: interpreter | Version: Keywords: | --------------------------------------------+------------------------------- Changes (by https://openid.fau.de/eg74yneg):
* cc: siccegge@… (added)