Hmm, ok.  I'd rather this actually be a parameterized thing
    (defaulted to off), because I don't like the idea that later
    debugging would have to change the printing just to get a faithful
    rendition of the AST.
    Should I likewise change ast.arr's pretty-printing?On 11/18/2013 8:23 AM, Joe Politz
      wrote:
    
      In src/lang/pretty.rkt:
      > @@ -237,8 +237,15 @@
>  
>      [(s-paren _ e) (format "(~a)" (pretty e))]
>  
> +    [(s-hint-exp _ h e) (format "HINTS(~a)~a" (string-join (map pretty-hint h) ",") (pretty e))]

      Let's not do this, and just print what's inside. The output of
        pretty appears in test output in CT, and I don't want folks
        having to understand what capital HINTS means if
        it shows up somehow down the line.
      —
        Reply to this email directly or view
          it on GitHub.