Subject: Re: More on escape sequences

From: Jan Wielemaker <[email-masked]>
Date: Fri, 11 Feb 2000 14:07:14 +0100

> 
> Hello again,
> 
> For writing atoms and strings using escape sequences I have tried write/2
> with the options [quoted=true, character_escapes=true].
> 
> Everything works fine for atoms:
> 
> ?- write('a''b
> c', [quoted=true, character_escapes=true]).
> 
> 'a\'b\nc'
> 
> yes.
> 
> But the same goal with a string does not insert the appropriate escape
> sequences:
> 
> ?- write("a""b
> c", [quoted=true, character_escapes=true]).
> 
> "a""b
> c"
> 
> yes.

Thats the same problem.  Thanks for reporting.  It is already fixed in
my internal version which will be made public soon.

	Regards --- Jan