expander: declare readtable structure as #:authentic

This commit is contained in:
Matthew Flatt 2018-08-10 09:10:55 -06:00
parent b533a13d20
commit 696e9143a6
2 changed files with 3 additions and 2 deletions

View File

@ -30,7 +30,8 @@
;; 'no-delimit, or a character whose default to use;
;; absence of a mapping is the default for that character
delimiter-ht)
#:property prop:readtable #t)
#:property prop:readtable #t
#:authentic)
(define (make-readtable rt . args)
(unless (or (not rt) (readtable? rt))

View File

@ -48224,7 +48224,7 @@ static const char *startup_source =
" 4"
" 0"
" #f"
"(list(cons prop:readtable #t))"
"(list(cons prop:authentic #t)(cons prop:readtable #t))"
"(current-inspector)"
" #f"
" '(0 1 2 3)"