dmd json file output

[Jacob Carlborg]

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***",
}

-- 
/Jacob Carlborg