On 2013-01-23 06:45, Walter Bright wrote:
> Using the deco string is not missing information - and it's easier to
> parse it and manipulate it.
I vote for the suggestion by Rainer:
"type" : {
"mangled" : "PPPi",
"pretty" : "int***",
}
--
/Jacob Carlborg