suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

expander: more reserved names to accomodate schemify

Browse Source 
Compiling the Chez Scheme bootstrap library in Racket on Chez Scheme
is a good way to discover missing reserved symbols.
This commit is contained in:
Matthew Flatt 2019-04-25 20:04:14 -06:00
parent c59ba15522
commit 01eec4ef9a
2 changed files with 34 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
racket/src/expander/compile/built-in-symbol.rkt
View File

@ -46,18 +46,24 @@
variable-reference-constant? variable-reference-constant?
variable-reference-from-unsafe?)) variable-reference-from-unsafe?))
;; Linklet compilation on Chez Scheme ;; Linklet compilation on Chez Scheme; anything
;; introduced by schemify needs to be here to
;; make sure the introduced name isn't shadowed
;; by a definition in expanded code
(for-each register-built-in-symbol! (for-each register-built-in-symbol!
'(or '(or
and and
let let
letrec* letrec*
define define
$value
pariah pariah
variable-set! variable-set!
variable-ref variable-ref
variable-ref/no-check variable-ref/no-check
variable-set!/check-undefined
make-instance-variable-reference make-instance-variable-reference
instance-variable-reference
annotation? annotation?
annotation-expression annotation-expression
#%app #%app
@ -65,4 +71,15 @@
make-pthread-parameter make-pthread-parameter
break-enabled-key break-enabled-key
engine-block engine-block
fasl->s-exp/intern)))) fasl->s-exp/intern
make-record-type-descriptor
record-constructor
record-accessor
record-mutator
record-predicate
struct-type-install-properties!
register-struct-constructor!
register-struct-predicate!
register-struct-field-accessor!
register-struct-field-mutator!
raise-binding-result-arity-error))))

16
racket/src/racket/src/startup.inc
View File

@ -19822,11 +19822,14 @@ static const char *startup_source =
" let" " let"
" letrec*" " letrec*"
" define" " define"
" $value"
" pariah" " pariah"
" variable-set!" " variable-set!"
" variable-ref" " variable-ref"
" variable-ref/no-check" " variable-ref/no-check"
" variable-set!/check-undefined"
" make-instance-variable-reference" " make-instance-variable-reference"
" instance-variable-reference"
" annotation?" " annotation?"
" annotation-expression" " annotation-expression"
" #%app" " #%app"
@ -19834,7 +19837,18 @@ static const char *startup_source =
" make-pthread-parameter" " make-pthread-parameter"
" break-enabled-key" " break-enabled-key"
" engine-block" " engine-block"
" fasl->s-exp/intern))))" " fasl->s-exp/intern"
" make-record-type-descriptor"
" record-constructor"
" record-accessor"
" record-mutator"
" record-predicate"
" struct-type-install-properties!"
" register-struct-constructor!"
" register-struct-predicate!"
" register-struct-field-accessor!"
" register-struct-field-mutator!"
" raise-binding-result-arity-error))))"
"(define-values(phase-shift-id)(make-built-in-symbol! 'phase))" "(define-values(phase-shift-id)(make-built-in-symbol! 'phase))"
"(define-values(dest-phase-id)(make-built-in-symbol! 'dest-phase))" "(define-values(dest-phase-id)(make-built-in-symbol! 'dest-phase))"
"(define-values(ns-id)(make-built-in-symbol! 'namespace))" "(define-values(ns-id)(make-built-in-symbol! 'namespace))"