[RFA] Implement 'print -raw-values' and 'set print raw-values on|off'

[Simon Marchi]

On 2019-08-07 3:39 p.m., Philippe Waroquiers wrote:
> The option framework documentation was speaking about a 'print -raw'
> option, but this option does not exist.
> 
> This patch implements -raw-values option that tells to ignore the
> active pretty printers when printing a value.
> As we already have -raw-frame-arguments, I thought -raw-values
> was more clear, in particular to differentiate
>    set print raw-values and set print raw-frame-arguments.

Hi Philippe,

I'm just a bit worried about the naming, but I don't have anything better
to suggest.  I mention it in case you do.  The "set print raw-values" sounds
like superset of "set print raw-frame-arguments", because in my mind frame
arguments are printed as values.

Other than that, the patch looks fine to me.

Simon