I know there is a pp-aterm strategy that I can use to debug-print aterms in a nicely formatted way, but sometimes a with clause fails, giving me an aterm all on one line. It’s usually handy to be able to inspect that aterm in detail, which is aweful when it’s all on one line. So I have to find the right spot to put a prettyprint-and-debug call and recompile. It would be nice to be able to copy-paste the single-line aterm into a .aterm file and have a menu option to format the file.

Submitted by Jeff Smits on 11 August 2015 at 01:37

Log in to post comments