coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

Make sure no toString() is state changing #57

Closed akoehn closed 4 years ago

akoehn commented 4 years ago

Ran into this problem today (again). Some toString method changes tree automata or similar. Result: program behaves differently when debugging as the debugger calls toString for objects under focus.

I have no time to go through this right now and also don't know whether someone else depends on the toString implementations.

akoehn commented 4 years ago

duplicate of #47.