On Wed, May 5, 2010 at 12:48 PM, Carl Eastlund <c...@ccs.neu.edu> wrote: > Perhaps our printer should use constructor-style printing until it > gets down to a quotable datum, at which point it can use regular > quote? Then s-expressions print simply, Redex output will look like > programs, but interleaved s-expressions, structures, and other > un-quotable data will not be a mess of backticks and commas. This > goes back somewhat on my previous statement about different > representations of lists in one kind of output, but I think it may be > a more manageable kind of switch in that it won't go back and forth, > quote will always be only at the leaves.
This sounds worth a try to me. Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
