#7 22.1.3.5 conformance

[Pascal J. Bourguignon]

As per 22.1.3.5,

(write (quote (john (quote s) weight)) :pretty nil :readably nil)

should print

(JOHN (QUOTE S) WEIGHT)

but instead it prints:

(JOHN 'S WEIGHT)

[and similarly for :readtably t].

========================================================================
Implementation: ECL 11.1.1 on x86_64

Reading of: "(write (quote (john (quote s) weight)) :pretty nil :readably nil)"
signaled no error

Evaluation of: (WRITE '(JOHN 'S WEIGHT) :PRETTY NIL :READABLY NIL)
signaled no error
wrote nothing on *ERROR-OUTPUT*
wrote the following *STANDARD-OUTPUT* (lines excluded):
------------------------------------------------------------------------
(JOHN 'S WEIGHT)
------------------------------------------------------------------------
returned the following value:
--> (JOHN 'S WEIGHT)

========================================================================