mainland / mainland-pretty Goto Github PK

Is there a way to prettyprint something such that every line (when rendered) is prefixed with some string? I looked at how indentation was handled, and it looked like it had to be done as a primitive operator. This would be very useful when prettyprinting languages with line comment syntax.

Using the prettyPragma printer (in conjunction with language-c-quote, which, by the way, is very nice) results in gcc being unhappy with the #line directive:

/home/charles/machine/bin/main.cpp:62:10: error: """src" is not a valid filename
 #line 64 ""src/Main.hs""

I am guessing the source of the issue is https://github.com/mainland/mainland-pretty/blob/master/Text/PrettyPrint/Mainland.hs#L697, where shows surrounds a string with double quotes, and then it gets quoted again.