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

schemify: avoid gensym for struct-type representation

Browse Source 
A gensym can end up in known-value information, which makes compiled
files non-deterministic.
This commit is contained in:
Matthew Flatt 2019-12-05 09:37:39 -07:00
parent f5e6ce4282
commit d5ab0fce05
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/src/schemify/find-definition.rkt
View File

@ -39,7 +39,7 @@
(make-struct-type-info rhs prim-knowns knowns imports mutated)))
(cond
[info
(define type (gensym (symbol->string (unwrap make-s))))
(define type (string->uninterned-symbol (symbol->string (unwrap make-s))))
(let* ([knowns (hash-set knowns
(unwrap make-s)
(if (struct-type-info-pure-constructor? info)
@ -78,7 +78,7 @@
(define info (make-struct-type-info rhs prim-knowns knowns imports mutated))
(cond
[info
(define type (gensym (symbol->string (unwrap make-s))))
(define type (string->uninterned-symbol (symbol->string (unwrap make-s))))
(values
(let* ([knowns (hash-set knowns
(unwrap make-s)
@ -96,7 +96,7 @@
[else (values knowns #f)])]
[`(define-values (,prop:s ,s? ,s-ref)
(make-struct-type-property ,_ . ,rest))
(define type (gensym (symbol->string (unwrap prop:s))))
(define type (string->uninterned-symbol (symbol->string (unwrap prop:s))))
(values
(let* ([knowns (hash-set knowns (unwrap s-ref) (known-accessor 2 type))]
[knowns (hash-set knowns (unwrap s?) (known-predicate 2 type))])