metalua toplevel: option -A now uses fixed indentation in table.tostring(), since...
commit3cddf54b63af822d8d26f3f524b13d65a7309e5d
authorfabien <fabien@fabien-ubuntu.(none)>
Tue, 30 Sep 2008 15:31:08 +0000 (30 17:31 +0200)
committerfabien <fabien@fabien-ubuntu.(none)>
Tue, 30 Sep 2008 15:31:08 +0000 (30 17:31 +0200)
tree101df7eae8408d78d5efe44ad97fc328818eea89
parente7c484655a563796a20c18d7e4b1ec88f46427b2
metalua toplevel: option -A now uses fixed indentation in table.tostring(), since it tends to print huge tables due to lineinfo, and fixed indentation is more space-savvy than the default indentation mode.
src/compiler/metalua.mlua