[r6rs] #\x0 is a perfectly valid character datum representation

[Marco Maggi]

The following R6RS program:

(import (rnrs))

#\x0

fails with:

;;; note: source file proof.sps
;;;       newer than compiled 
/home/marco/.cache/guile/ccache/2.0-0.R-LE-4/home/marco/var/tmp/proof.sps.go
Backtrace:
In ice-9/boot-9.scm:
 170: 10 [catch #t #<catch-closure 96b6610> ...]
In unknown file:
   ?: 9 [catch-closure]
In ice-9/boot-9.scm:
  62: 8 [call-with-prompt prompt0 ...]
In ice-9/eval.scm:
 389: 7 [eval # #]
In ice-9/boot-9.scm:
1858: 6 [save-module-excursion #<procedure 9758840 at ice-9/boot-9.scm:1871:3 
()>]
1149: 5 [load "proof.sps" #f]
1051: 4 [%start-stack load-stack ...]
1056: 3 [#<procedure 97587b0 ()>]
In unknown file:
   ?: 2 [primitive-load "proof.sps"]
In ice-9/boot-9.scm:
 115: 1 [#<procedure 95aa2f8 at ice-9/boot-9.scm:109:6 (thrown-k . args)> 
read-error ...]
In unknown file:
   ?: 0 [catch-closure read-error "scm_lreadr" ...]

ERROR: In procedure scm_lreadr:
ERROR: proof.sps:5:5: unknown character name x0

on       a        i686-pc-linux-gnu       using       commit
8d10ccae79ff46f0ebea92ba36acfaebafba8d86.

  It  looks like  the  hex notation  for  characters is  not
recognised by the reader.
-- 
Marco Maggi