Currently, each toString() method gets the indentation depth as parameter, with each statement generating its indentation string by itself. This seems to be very inefficient (quadratic in nesting depth). It would be better to give the ident string itself to the child toString() functions (with each indentation inducing statement adding one tab for the child calls).
Currently, each toString() method gets the indentation depth as parameter, with each statement generating its indentation string by itself. This seems to be very inefficient (quadratic in nesting depth). It would be better to give the ident string itself to the child toString() functions (with each indentation inducing statement adding one tab for the child calls).