RE: [racket-users] constant propagation

2015-05-18 Thread Jos Koot
lunes, 18 de mayo de 2015 13:17 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] constant propagation Constant propagation is not a property of a language but its implementation. Few implementations document which transformations they currently implement. -- Matthi

Re: [racket-users] constant propagation

2015-05-18 Thread Matthias Felleisen
Constant propagation is not a property of a language but its implementation. Few implementations document which transformations they currently implement. -- Matthias On May 18, 2015, at 7:11 AM, Jos Koot wrote: > Very nice constant propagation in Racket. > For example the Racket compiler

[racket-users] constant propagation

2015-05-18 Thread Jos Koot
Very nice constant propagation in Racket. For example the Racket compiler pre-evaluates: (let ((b 2)) (sqrt (+ 2 b))) to '2. That is what zo-parse and decompile tell me. May be I missed it, but looking for info on constant propagation I found no info about this in the docs. If there is info, please