Added more functions to (prim-creates-mutable-obj?)

This commit is contained in:
Justin Ethier 2016-07-15 19:37:16 -04:00
parent c1bd242205
commit c23d3c4a7a

View file

@ -526,7 +526,13 @@
(define (prim-creates-mutable-obj? prim)
(member
prim
'(cons make-vector make-bytevector)))
'(cons
make-vector
make-bytevector
bytevector bytevector-append bytevector-copy
string->utf8 number->string symbol->string list->string utf8->string
string-append string substring Cyc-installation-dir read-line
)))
;; Check each pair of primitive call / corresponding lambda arg,
;; and verify that if the primitive call creates a new mutable