Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-09 14:07:34 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Issue #172 -

Browse source 
Cannot assume that just because a primitive deals with immutable objects that it is safe to inline.  A (set!) could still mutate variables the primitive is using, causing invalid behavior.
This commit is contained in:
Justin Ethier 2017-02-07 18:40:30 +00:00
parent d301592da6
commit 1f8fb3c20d
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scheme/cyclone/cps-optimizations.sld
View file

@ -603,7 +603,11 @@
(cdr exp) (cdr exp)
(ast:lambda-formals->list (car exp))) (ast:lambda-formals->list (car exp)))
(or (or
(prim-calls-inlinable? (cdr exp)) ; Issue #172 - Cannot assume that just because a primitive
; deals with immutable objects that it is safe to inline.
; A (set!) could still mutate variables the primitive is
; using, causing invalid behavior.
;(prim-calls-inlinable? (cdr exp))
(inline-prim-call? (inline-prim-call?
(ast:lambda-body (car exp)) (ast:lambda-body (car exp))
(prim-calls->arg-variables (cdr exp)) (prim-calls->arg-variables (cdr exp))