Re: Floating point print Incompatibility SWI 5.10.2 versus 6.6.2

On 03/21/2014 11:37 AM, Kilian Evang wrote:
> On 20-03-14 09:21, Jan Wielemaker wrote:
>> P.s.	The above implies that unquoted write is meaningless in Prolog.  I fear
>> 	that some people will not agree, but in my experience it is more
>> 	frequently a source of confusion than anything useful.
>
> I agree. It is an annoyance that unquoted write is the default, e.g. for
> displaying exceptions. I often find myself painstakingly going through
> terms and manually adding quotes so I can paste them back into the toplevel.
>
> Is there an easy way to make SWI-Prolog use quoted write instead, e.g.
> by setting a flag?

All debugging is traditionally printed using print/1, which 
traditionally uses unquoted write + portray.  I've proposed
a while ago to change this to be quoted write + portray.
As this moves away from tradition, I'd expected people to
be in favor and/or opposed, but all remained silent.  The
only remark was to put the actual type along with type errors
to make messages easier to understand.  This is implemented
in 7.x.

Maybe I should just do so for 7.x and see whether we get
complaints?

	Cheers --- Jan