dmd json file output

[Andrei Alexandrescu]

On 1/23/13 11:07 AM, Jacob Carlborg wrote:
> On 2013-01-23 08:58, Andrei Alexandrescu wrote:
>
>> If we need a secondary parser to slice and dice the json output, we
>> failed producing good json output.
>
> That's what I'm saying. Just use what Rainer suggested:
>
> "type" : {
> "mangled" : "PPPi",
> "pretty" : "int***",
> }

Yes please. Err on the side of verboseness as long as filtering out the 
unnecessary output is easy.

Andrei